Naijun Zhan · 4 obras en el catálogoObrasSymposium on Real-Time and Hybrid SystemsFormal Verification of Simulink/Stateflow DiagramsDDependable Software Engineering : Theories, Tools, and AppliDependable Software Engineering : Theories, Tools, and ApplicationsFFormal MethodsFormal Methods
DDependable Software Engineering : Theories, Tools, and AppliDependable Software Engineering : Theories, Tools, and Applications