Publications Details

Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics

Bays, Nathan R.; Snook, Colin

Abstract not provided.