Automated Verification of Complex Behavioral Models Using the SAL Model Checker
Date
Type
könyvrészlet
Publisher
L'Harmattan Kiadó
ISBN, e-ISBN
978-963-236-138-3
Container Title
Formal Methods for Automation and Safety in Railway and Automotive Systems
Gender
konferenciaközlemény