Parameterized Specification and Verification of PLC Systems in Coq
In: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE); (2010-08-01) S. 179-182
Konferenz
Zugriff:
Titel: |
Parameterized Specification and Verification of PLC Systems in Coq
|
---|---|
Autor/in / Beteiligte Person: | Wan, Hai ; Song, Xiaoyu ; Gu, Ming |
Quelle: | 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE); (2010-08-01) S. 179-182 |
Veröffentlichung: | 2010 |
Medientyp: | Konferenz |
ISBN: | 978-1-4244-7847-7 (print) |
DOI: | 10.1109/TASE.2010.12 |
Sonstiges: |
|