Searching for "Projectable Semantics for Statecharts." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Projectable semantics for Statecharts
by Andrea Maggiolo-Schettini, Simone Tini
…Projectable semantics for Statecharts 1 Andrea Maggiolo-Schettini and Simone Tini Dipartimento di…
Cited by 1 (1 self) – Add To MetaCart

Specification and Verification Fo Embedded Systems
by Andrea Maggiolo-Schettini
… for Statecharts. In [16] for Statecharts represented as processes of a CCS-like process algebra, a semantics…
Add To MetaCart

Pre-proceedings: MFCS'98 Workshop on Concurrency August 27-29, 1998 Brno, Czech Republic
by Petr Jancar, Mojmir Kretinsky (eds.) — 1998
… cient State Space Search for Time Petri Nets ::::::::::::::::::::::123 J. Lilius Projectable Semantics…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB