• search hit 7 of 9
Back to Result List

Identifying Modeling Errors in Signatures by Model Checking.

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Sebastian Schmerl, Michael Vogel, Hartmut KönigGND
Document Type:Conference Proceeding
Language:English
Year of publication:2009
Quelle aus UBICO:Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings. - Berlin[u.a.] : Springer, 2009, S. 205-222, 978-3-642-02651-5 (Lecture Notes in Computer Science ; 5578)
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Rechnernetze und Kommunikationssysteme
Institution name at the time of publication:Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Rechnernetze und Kommunikationssysteme
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.