Extending ASSERT for HW/SW Co-Design
Conference, DAta systems in aerospace ; 2011 ; San Anton, Malta
2011-01-01
35 pages
Held in e-store (RMS)
Aufsatz (Konferenz)
Englisch
DASIA , DAta systems , Aerospace , ESA
© 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
|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
|