Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach
In: Seventh International Conference on Quality Software; (2007-10-01) S. 356-362
Online
Konferenz
Zugriff:
Titel: |
Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach
|
---|---|
Autor/in / Beteiligte Person: | Mokhati, Farid ; Gagnon, Patrice ; Badri, Mourad |
Link: | |
Quelle: | Seventh International Conference on Quality Software; (2007-10-01) S. 356-362 |
Veröffentlichung: | 2007 |
Medientyp: | Konferenz |
ISBN: | 978-0-7695-3035-2 (print) ; 0-7695-3035-4 (print) |
ISSN: | 1550-6002 (print) ; 2332-662X (print) |
DOI: | 10.1109/QSIC.2007.4385520 |
Sonstiges: |
|