Formal Validation of Realtime Middleware
John Enright, David Miller
Journal of Aerospace Computing, Information, and Communication ; 4 , 6 ; 882-899
2007
Article (Journal)
Electronic Resource
English
Nonlinear Helicopter Model Validation Applied to Realtime Simulations
British Library Conference Proceedings | 1997
|Realtime-capable Suspensionsmodels: Applications from Case-Study to Validation
British Library Conference Proceedings | 2005
|Design and Formal Verification of Membership Middleware for Dependable Automotive Network Systems
British Library Conference Proceedings | 2009
|