swMATH19754MaRDI QIDQ31578FDOQ31578
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S1571066105052564
Cited In (4)
- Change and delay contracts for hybrid system component verification
- 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
This page was built for software: SPHIN
