The ASSERT Virtual Machine Kernel: Support for Preservation of Temporal Properties
Conference, Data systems in aerospace DASIA ; 2008 ; Palma de Majorca, Spain
2008-01-01
38 pages
Held in e-store (RMS)
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Pentagon contract auditors assert more authority
Online Contents | 2013
|Proof-Based System Engineering in ASSERT
British Library Conference Proceedings | 2005
|Extending ASSERT for HW/SW Co-Design
British Library Conference Proceedings | 2011
|The Highly Reliable Infrastructure System Family for ASSERT
British Library Conference Proceedings | 2005
|Beyond ASSERT: Increasing the Effectiveness of Model-Driven Engineering
British Library Conference Proceedings | 2009
|