> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN Beteiligte: Leitner-Fischer, Florian [Verfasser:in] Erschienen: Konstanz: Bibliothek der Universität Konstanz, 2008 Erschienen in: Technical Report soft ; 08-05 Umfang: Online-Ressource Sprache: Englisch Identifikator: Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang