Proof-Based Systems Engineering in ASSERT

Book title Buchtitel
Proof-Based Systems Engineering in ASSERT
 

Publications Publikationen



Results 1-1 of 1 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Le Lann, G´erard ; Schmid, Ulrich Proof-Based Systems Engineering in ASSERTKonferenzbeitrag Inproceedings2005