skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.

Abstract

Abstract not provided.

Authors:
;
Publication Date:
Research Org.:
Sandia National Lab. (SNL-CA), Livermore, CA (United States)
Sponsoring Org.:
USDOE National Nuclear Security Administration (NNSA)
OSTI Identifier:
1371817
Report Number(s):
SAND2016-6605C
644919
DOE Contract Number:  
AC04-94AL85000
Resource Type:
Conference
Resource Relation:
Conference: Proposed for presentation at the Workshop on High-Consequence Control Verification held July 18, 2016 in Toronto, ON, Canada.
Country of Publication:
United States
Language:
English

Citation Formats

Morris, Karla Vanessa, and Snook, Colin. Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.. United States: N. p., 2016. Web.
Morris, Karla Vanessa, & Snook, Colin. Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.. United States.
Morris, Karla Vanessa, and Snook, Colin. Fri . "Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.". United States. doi:. https://www.osti.gov/servlets/purl/1371817.
@article{osti_1371817,
title = {Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.},
author = {Morris, Karla Vanessa and Snook, Colin},
abstractNote = {Abstract not provided.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Fri Jul 01 00:00:00 EDT 2016},
month = {Fri Jul 01 00:00:00 EDT 2016}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: