Extended Petri net based formal modeling and verification of WTB-TCN device
In: 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT 2010); Jg. 8 (2010-07-01) S. 110-114
Konferenz
Zugriff:
Titel: |
Extended Petri net based formal modeling and verification of WTB-TCN device
|
---|---|
Autor/in / Beteiligte Person: | Liu, Ming ; Zhang, Guoyin ; Yao, Aihong |
Quelle: | 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT 2010); Jg. 8 (2010-07-01) S. 110-114 |
Veröffentlichung: | 2010 |
Medientyp: | Konferenz |
ISBN: | 978-1-4244-5537-9 (print) ; 978-1-4244-5539-3 (print) ; 978-1-4244-5540-9 (print) |
DOI: | 10.1109/ICCSIT.2010.5564428 |
Sonstiges: |
|