Publications 2001

Main content

  • A. Pretschner and O. Slotosch and H. Lötzbeyer and E. Aiglstorfer and S. Kriebel.
    Model Based Testing for Real: The Inhouse Card Case Study.
    In Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems., 2001.
    [abstract (TXT, 492 Bytes) | BibTeX (TXT, 835 Bytes) | PDF (PDF)]
 
Page URL: http://www.infsec.ethz.ch/research/publications/pub2001.html
Tue Jun 27 14:16:53 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich