Refinement of Statecharts with Run-to-completion Semantics.
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Sandia National Laboratories, SNL California
- Sponsoring Organization:
- ASC
- DOE Contract Number:
- NA0003525
- OSTI ID:
- 1889614
- Report Number(s):
- SAND2018-11952C; 700283
- Resource Relation:
- Journal Volume: 1008; Conference: Proposed for presentation at the Sixth International Workshop on Formal Techniques for Safety-Critical Systems held November 16-16, 2018 in Gold Coast, Gold Coast Australia
- Country of Publication:
- United States
- Language:
- English
| Modeling in Event-B | January 2010 | |
Rodin: an open toolset for modelling and reasoning in Event-B
|
journal | April 2010 |
Reconciling statechart semantics
|
journal | January 2009 |
Statecharts: a visual formalism for complex systems
|
journal | June 1987 |
An integrated semantics for reasoning about SysML design models using refinement
|
journal | September 2015 |
Uml-B
|
journal | January 2006 |
Similar Records
Formal verification of run-to-completion style statecharts using Event-B.
Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.
Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.
Conference
·
Wed Jul 01 00:00:00 EDT 2020
·
OSTI ID:1889614
+3 more
Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.
Conference
·
Fri Jul 01 00:00:00 EDT 2016
·
OSTI ID:1889614
Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.
Conference
·
Fri Jul 01 00:00:00 EDT 2016
·
OSTI ID:1889614