[Back]


Talks and Poster Presentations (with Proceedings-Entry):
G. Le Lann, U. Schmid:
"Proof-Based Systems Engineering in ASSERT";
Talk: Data Systems in Aerospace, Edinburgh; 2005-05-30 - 2005-06-02; in: "Proof-Based Systems Engineering in ASSERT", (2005).

Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936368

Created from the Publication Database of the Vienna University of Technology.