Martin änzle · 2 obras en el catálogoObrasFFormal Modeling and Analysis of Timed SystemsFormal Modeling and Analysis of Timed SystemsDDependable Software Engineering : Theories, Tools, and AppliDependable Software Engineering : Theories, Tools, and Applications
DDependable Software Engineering : Theories, Tools, and AppliDependable Software Engineering : Theories, Tools, and Applications