Positioning Verfification in the Context of Software/System Certification (English)
- New search for: Bender, Marc
- New search for: Maibaum, Tom
- New search for: Lawford, Mark
- New search for: Wassyng, Alan
- New search for: Bender, Marc
- New search for: Maibaum, Tom
- New search for: Lawford, Mark
- New search for: Wassyng, Alan
In:
Electronic Communications of the EASST
;
46
, Electronic Communications of the EASST, Vol. 46 (2012): Automated Verification of Critical Systems 2011
;
2012
- Article (Journal) / Electronic Resource
-
Title:Positioning Verfification in the Context of Software/System Certification
-
Contributors:Bender, Marc ( author ) / Maibaum, Tom ( author ) / Lawford, Mark ( author ) / Wassyng, Alan ( author )
-
Published in:Electronic Communications of the EASST ; 46, Electronic Communications of the EASST, Vol. 46 (2012): Automated Verification of Critical Systems 2011
-
Publisher:
- New search for: Electronic Communications of the EASST
-
Publication date:2012
-
Size:209KB
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Source: