Automated Verification of Complex Behavioral Models Using the SAL Model Checker

Contributor - Author	Sisak, Áron
Contributor - Author	Pintér, Gergely
Contributor - Author	Majzik, István
Date - Accessioned	2016-09-04T21:30:58Z
Date - Available	2016-09-04T21:30:58Z
Date - Issued	2008
Identifier - URI	http://hdl.handle.net/10890/2997
Language - ISO	en
Publisher	L'Harmattan Kiadó
Title	Automated Verification of Complex Behavioral Models Using the SAL Model Checker
Type	könyvrészlet
Container Identifier ISBN	978-963-236-138-3
Container Title	Formal Methods for Automation and Safety in Railway and Automotive Systems
Identifier - MTMT	2628979
Other - Container MTMT	2628976
Type Type	konferenciaközlemény

Collections