Reuse of a Formal Model for Requirements Validation
Workshop; 4th, Langley formal methods ; 1997 ; Hampton; VA
1997-01-01
12 pages
Also known as LFM 97
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Automatic validation of Simulink/Stateflow models - formal verification of functional requirements
Automotive engineering | 2005
|Assistance in the Reuse of Formal Specifications
British Library Online Contents | 2004
|