Automatic real-time analysis of reactive systems with the PARTS toolset
From MaRDI portal
Publication:5955432
DOI10.1023/A:1011235419951zbMath1021.68067MaRDI QIDQ5955432
Publication date: 13 February 2002
Published in: Automated Software Engineering (Search for Journal in Brave)
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in the theory of software (68N01)
Uses Software
This page was built for publication: Automatic real-time analysis of reactive systems with the PARTS toolset