---
res:
bibo_abstract:
- "Masaccio is a formal model for hybrid dynamical systems which are built from
atomic discrete components (difference equations) and atomic continuous components
(differential equations) by parallel and serial composition, arbitrarily nested.
Each system component consists of an interface, which determines the possible
ways of using the component, and a set of executions, which define the possible
behaviors of the component in real time.\r\nVersion 1.0 (May 2000).\r\n@eng"
bibo_authorlist:
- foaf_Person:
foaf_givenName: Thomas A
foaf_name: Henzinger, Thomas A
foaf_surname: Henzinger
foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
orcid: 0000−0002−2985−7724
bibo_doi: 10.1007/3-540-44929-9_38
bibo_volume: 1872
dct_date: 2000^xs_gYear
dct_isPartOf:
- http://id.crossref.org/issn/9783540678236
dct_language: eng
dct_publisher: Springer@
dct_title: 'Masaccio: A formal model for embedded components@'
...