Dies ist eine Übersichtsseite mit Metadaten zu dieser wissenschaftlichen Arbeit. Der vollständige Artikel ist beim Verlag verfügbar.
PRISM 4.0: Verification of Probabilistic Real-Time Systems
2011·2.310 Zitationen·Lecture notes in computer science
Volltext beim Verlag öffnen2.310
Zitationen
3
Autoren
2011
Jahr
Abstract
Für dieses Paper ist kein Abstract in der Datenbank hinterlegt.
Abstract beim Verlag einsehenÄhnliche Arbeiten
Autoren
Institutionen
Themen
Formal Methods in VerificationSafety Systems Engineering in AutonomySoftware Reliability and Analysis Research