REAL

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_submission_3_final.pdf

Download (265kB) | Preview
Item Type: Book Section
Subjects: Q Science / természettudomány > QA Mathematics / matematika
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 11 Jun 2015 07:47
Last Modified: 11 Jun 2015 07:47
URI: http://real.mtak.hu/id/eprint/24607

Actions (login required)

Edit Item Edit Item