1
Publications
88
Citations
1
H-Index
2009
Active since
Affiliations
Centrum Wiskunde & Informatica(Current)
Ivan S. Zapree is an author at Centrum Wiskunde & Informatica specializing in autonomous systems, computer engineering, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutonomous SystemsAutomated ReasoningFormal VerificationSystems EngineeringComputer EngineeringUncertainty Quantification
Publications per year
2009–2009
1
1
The Ins and Outs of the Probabilistic Model Checker MRMC
Joost-Pieter Katoen, Ivan S. Zapree, Ernst Moritz Hahn et al. · 2009 · 88 citations · Full text
Rows per page
1–1 of 1