Refinement of Statecharts with Run-to-Completion Semantics

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-030-12988-0_8 ◽

2019 ◽

pp. 121-138 ◽

Cited By ~ 1

Author(s):

Karla Morris ◽

Colin Snook ◽

Thai Son Hoang ◽

Robert Armstrong ◽

Michael Butler

Download Full-text