scientific article; zbMATH DE number 1301618
From MaRDI portal
Publication:4246817
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Hierarchical systems (93A13) Design techniques (robust design, computer-aided design, etc.) (93B51) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cited in
(2)
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 Q4246817)