Masaccio: A formal model for embedded components

DOI10.1007/3-540-44929-9_38MaRDI QIDQ4536448zbMATH OpenFDO

Authors Thomas A. Henzinger

Publication date 25 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44929-9_38

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• The theory of hybrid automata
• An institution of hybrid systems
• Hybrid I/O automata.
• Modelling discrete behaviour in a continuous-time formalism
• Constraint nets: a semantic model for hybrid dynamic systems

Cited in

(3)

• Compositional modeling and refinement for hierarchical hybrid systems
• Syntax and consistent equation semantics of hybrid Chi
• Relating hybrid chi to other formalisms

Describes a project that uses

Uses Software

• SIGNAL

This page was built for publication: Masaccio: A formal model for embedded components

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