Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Preface. Acknowledgements.- An Abstraction Technique for Real-Time Verification; E.M.Clarke, F.Lerda, M.Talupur.- SCADE: Synchronous Design and Validation of Embedded Control Software; G.Berry.- Model... |
 |
|
|
