Proof-Based System Engineering in ASSERT
Conference, Proceedings of the DASIA 2005 conference: data systems in aerospace ; 2005 ; Edinburgh
2005-01-01
P33
Held on CD-ROM. Shelved in Conference Index. Title from title screen.
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Beyond ASSERT: Increasing the Effectiveness of Model-Driven Engineering
British Library Conference Proceedings | 2009
|The Highly Reliable Infrastructure System Family for 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 Assert Set of Tools for Engineering (TASTE): Current Features, Demonstrator and Future Evolution
British Library Conference Proceedings | 2011
|