REAL
MagyarClear Cookie - decide language by browser settings

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
EPrints Logo
Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.