- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Probabilistic modelling and verification using RoboChart and PRISM ; day:3 ; month:10 ; year:2021 ; pages:1-50
Software and systems modeling ; (3.10.2021), 1-50
- Urheber
-
Ye, Kangfeng
Cavalcanti, Ana
Foster, Simon
Miyazawa, Alvaro
Woodcock, Jim
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-021-00916-8
- URN
-
urn:nbn:de:101:1-2021120810013364387032
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:35 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ye, Kangfeng
- Cavalcanti, Ana
- Foster, Simon
- Miyazawa, Alvaro
- Woodcock, Jim
- SpringerLink (Online service)
Ähnliche Objekte (12)
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
Probabilistic verification of Architectural software models using SoftArc and Prism
RoboChart: modelling and verification of the functional behaviour of robotic applications
Advances in probabilistic model checking with PRISM
Counterexamples in probabilistic verification
Advances in Symbolic Probabilistic Model Checking with PRISM
Automated deductive verification of probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Improving Live Sequence Chart to Automata Transformation for Verification
Verification and control of partially observable probabilistic systems
Modeling and formal verification of probabilistic reconfigurable systems
German prism
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
Probabilistic verification of Architectural software models using SoftArc and Prism
RoboChart: modelling and verification of the functional behaviour of robotic applications
Advances in probabilistic model checking with PRISM
Counterexamples in probabilistic verification
Advances in Symbolic Probabilistic Model Checking with PRISM
Automated deductive verification of probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Improving Live Sequence Chart to Automata Transformation for Verification
Verification and control of partially observable probabilistic systems
Modeling and formal verification of probabilistic reconfigurable systems
German prism
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
Probabilistic verification of Architectural software models using SoftArc and Prism
RoboChart: modelling and verification of the functional behaviour of robotic applications
Advances in probabilistic model checking with PRISM
Counterexamples in probabilistic verification
Advances in Symbolic Probabilistic Model Checking with PRISM
Automated deductive verification of probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Improving Live Sequence Chart to Automata Transformation for Verification
Verification and control of partially observable probabilistic systems
Modeling and formal verification of probabilistic reconfigurable systems