scientific article; zbMATH DE number 1751915

MaRDI QIDQ4533015zbMATHFDO

Authors Grzegorz Hamuda, Wolfgang A. Halang

Publication date 6 June 2002

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Theorem Proving in Higher Order Logics
• scientific article; zbMATH DE number 62143
• scientific article; zbMATH DE number 3854401
• Formal models of operating system kernels
• Formal refinement for operating systems kernels.

Cited in

(3)

• A modeling concept for formal verification of OS-based compositional software
• Theorem Proving in Higher Order Logics
• Formal models of operating system kernels

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4533015)