Towards two-level formal modeling of computer-based systems

MaRDI QIDQ2709229zbMATH OpenFDO

Authors Gabor Karsai, Greg Nordstrom, Akos Ledeczi, Janos Sztipanovits

Publication date 10 May 2001

Published in Journal of Universal Computer Science (Search for Journal in Brave)

Full work available at URL http://www.jucs.org/jucs_6_11/towards_two_level_formal

zbMATH Keywords

embedded computer-based systems

Mathematics Subject Classification ID

Recommendations

• From “Formal Methods” to System Modeling
• A two-level logic approach to reasoning about computations
• Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
• scientific article; zbMATH DE number 2130685
• Embedded systems design based on formal models of computation
• scientific article; zbMATH DE number 1487743
• Toward formal model for COM
• Two-level hybrid: a system for reasoning using higher-order abstract syntax

This page was built for publication: Towards two-level formal modeling of computer-based systems

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