Beyond ASSERT: Increasing the Effectiveness of Model-Driven Engineering
Conference, Data systems in aerospace; DASIA 2009 ; 2009 ; Istanbul, Turkey
2009-01-01
50 pages
Held in e-store (RMS); Held on CD-ROM
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Proof-Based System Engineering in ASSERT
British Library Conference Proceedings | 2005
|Pentagon contract auditors assert more authority
Online Contents | 2013
|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
|The Assert Set of Tools for Engineering (TASTE): Current Features, Demonstrator and Future Evolution
British Library Conference Proceedings | 2011
|