Searching for "Validation of UML Models via a Mapping to Communicating Extended Timed Automata." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Validation of UML Models via a Mapping to Communicating Extended Timed Automata
by Iulian Ober, Susanne Graf, Ileana Ober — 2004 — Proc. 11th Int. SPIN Workshop on Model Checking of Software, LNCS 2989, Springer-Verla
…Validation of UML models via a mapping to communicating extended timed automata ⋆ Iulian Ober…
Cited by 3 (2 self) – Add To MetaCart

D2.2.2 Tool set for system verification
by Annex Technical Overview, Iulian Ober, Susanne Graf, Ileana Ober
…). Validation of UML models via a mapping to communicating extended timed automata ⋆ Iulian Ober, Susanne Graf…
Add To MetaCart

Showing 1 through 2.

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