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

[img]
Preview
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: http://eprints.sztaki.hu/id/eprint/7783

Update Item Update Item