Items where Author is "Jámbor, Attila"
 | Up a level |
Jump to: Book Section
Number of items: 2.
Book Section
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2012 | Bartha, Tamás and Vörös, András and Jámbor, Attila and Darvas, Dániel Verification of an industrial safety function using coloured Petri nets and model checking |  | Book Section |
| 2011 | Vörös, András and Szabo, Tamás and Jámbor, Attila and Darvas, Dániel and Horváth, Ákos and Bartha, Tamás Parallel saturation based model checking | | Book Section |
