The following pages link to SPHIN (Q31578):
Displaying 4 items.
- Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Coventry, UK, September 12--13, 2005 (Q373516) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- Change and Delay Contracts for Hybrid System Component Verification (Q5215905) (← links)
- Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC) (Q5302400) (← links)