The Highly Reliable Infrastructure System Family for ASSERT
Conference, Proceedings of the DASIA 2005 conference: data systems in aerospace ; 2005 ; Edinburgh
2005-01-01
P32
Held on CD-ROM. Shelved in Conference Index. Title from title screen.
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
|Beyond ASSERT: Increasing the Effectiveness of Model-Driven Engineering
British Library Conference Proceedings | 2009
|