Bernd Finkbeiner · 6 obras en el catálogoObrasFields of Logic and Computation IIAAutomated Technology for Verification and AnalysisAutomated Technology for Verification and AnalysisRRuntime VerificationRuntime VerificationVVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract InterpretationFFields of Logic and Computation IIIFields of Logic and Computation IIIDDesign and Verification of Cyber-Physical Systems : from TheDesign and Verification of Cyber-Physical Systems : from Theory to Applications
AAutomated Technology for Verification and AnalysisAutomated Technology for Verification and Analysis
VVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract Interpretation
DDesign and Verification of Cyber-Physical Systems : from TheDesign and Verification of Cyber-Physical Systems : from Theory to Applications
