Formal development of reactive systems. Case study production cell

DOI10.1007/3-540-58867-1MaRDI QIDQ1344731zbMATH OpenOpenAlexFDO

Authors

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

zbMATH Keywords

Formal developmentReactive systems

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(9)

• PLC-automata: A new class of implementable real-time automata
• Proof assistance for real-time systems using an interactive theorem prover
• A metric for evaluating software architecture and communication models consistency
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• Global escape in multiparty sessions
• Proving sequential function chart programs using timed automata
• Decomposing real-time specifications
• Reasoning about goal-directed real-time teleo-reactive programs
• Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty

This page was built for publication: Formal development of reactive systems. Case study production cell

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