FFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical Systemsde Stefan Leue, Pedro MerinoEdiciones (1)Formal Methods for Industrial Critical Systems (2008)Springer London, Limited · inglés · ISBN 9783540797074Más obras de Stefan LeueModel checking softwareScenarios: Models, Transformations and Tools
TTheoretical and Practical Aspects of SPIN Model CheckingTheoretical and Practical Aspects of SPIN Model Checking
