SPHIN
From MaRDI portal
Software:31578
No author found.
Related Items (4)
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 ⋮ Applications of polyhedral computations to the analysis and verification of hardware and software systems
This page was built for software: SPHIN
