Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets
| Autor: | ŞENER, İbrahim, KAYMAKCI, Özgür Turay, ÜSTOĞLU, İlker, CANSEVER, Galip |
|---|---|
| Zdroj: | In IFAC Proceedings Volumes 2014 47(3):12140-12145 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|