Stefan Leue · 6 obras en el catálogoObrasModel checking softwareScenarios: Models, Transformations and ToolsMModel Checking SoftwareModel Checking SoftwareFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical SystemsSScenarios : Models, Transformations and ToolsScenarios : Models, Transformations and ToolsTTheoretical and Practical Aspects of SPIN Model CheckingTheoretical and Practical Aspects of SPIN Model Checking
TTheoretical and Practical Aspects of SPIN Model CheckingTheoretical and Practical Aspects of SPIN Model Checking
