- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Ye, Kangfeng
Cavalcanti, Ana
Foster, Simon
Miyazawa, Alvaro
Woodcock, Jim
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-021-00916-8
- URN
-
urn:nbn:de:101:1-2021120810013364387032
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:35 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ye, Kangfeng
- Cavalcanti, Ana
- Foster, Simon
- Miyazawa, Alvaro
- Woodcock, Jim
- SpringerLink (Online service)
Other Objects (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
Love 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
Love 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