Identifying Modeling Errors in Signatures by Model Checking.
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 |