Verification of an industrial safety function using coloured Petri nets and model checking
Bartha, Tamás and Vörös, András and Jámbor, Attila and Darvas, Dániel (2012) Verification of an industrial safety function using coloured Petri nets and model checking. In: MITIP 2012. 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises. Proceedings volume. MTA SZTAKI, Budapest, pp. 472-485. ISBN 978-963-311-373-8
|
Text
MITIP2012_BarthaEtAl.pdf - Accepted Version Download (1MB) | Preview |
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| Divisions: | Systems and Control Lab |
| SWORD Depositor: | MTMT Injector |
| Depositing User: | MTMT Injector |
| Date Deposited: | 28 Mar 2014 16:12 |
| Last Modified: | 28 Mar 2014 16:12 |
| URI: | https://eprints.sztaki.hu/id/eprint/7783 |
 |
Update Item |
