Publications

Publications / Conference Poster

Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics

Morris Wright, Karla V.; Snook, Colin S.

Abstract not provided.