Bernd Finkbeiner
Bernd Finkbeiner
3 ספרים במאגר
ספרים
Verification, Model Checking, and Abstract InterpretationBernd Finkbeiner
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner · 2022
Runtime VerificationBernd Finkbeiner
Runtime Verification
Bernd Finkbeiner · 2019
Automated Technology for Verification and AnalysisBernd Finkbeiner
Automated Technology for Verification and Analysis
Bernd Finkbeiner · 2015
ספרים משותפים ואוספים
ספרים שבהם Bernd Finkbeiner מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Fields of Logic and Computation IILev D. Beklemishev
Fields of Logic and Computation II
Lev D. Beklemishev · 2015
Design and Verification of Cyber-Physical Systems : from Theory to ApplicationsAndreas Rauh
Design and Verification of Cyber-Physical Systems : from Theory to Applications
Andreas Rauh · 2026