Cited in
(4)- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)
- Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Coventry, UK, September 12--13, 2005
- Change and delay contracts for hybrid system component verification
This page was built for software: SPHIN