Automatic real-time analysis of reactive systems with the PARTS toolset

DOI10.1023/A:1011235419951zbMath1021.68067MaRDI QIDQ5955432

Ugo Buy, Robert H. Sloan

Publication date: 13 February 2002

Published in: Automated Software Engineering (Search for Journal in Brave)

zbMATH Keywords

real-time systems; simple time Petri nets

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N01: General topics in the theory of software

Uses Software

• Ada95
• PARTS
• HyTech