Formal development of reactive systems. Case study production cell
From MaRDI portal
Publication:1344731
DOI10.1007/3-540-58867-1zbMath0825.00053OpenAlexW172859451MaRDI QIDQ1344731
No author found.
Publication date: 15 February 1995
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58867-1
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (8)
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty ⋮ A metric for evaluating software architecture and communication models consistency ⋮ Global escape in multiparty sessions ⋮ A high-level modular definition of the semantics of C\(_{\sharp}\) ⋮ Proving sequential function chart programs using timed automata ⋮ Reasoning about goal-directed real-time teleo-reactive programs ⋮ PLC-automata: A new class of implementable real-time automata ⋮ Proof assistance for real-time systems using an interactive theorem prover
This page was built for publication: Formal development of reactive systems. Case study production cell
