Searching for "Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid 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.

Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
by Stefan Denne
…Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata…
Add To MetaCart

Sponsor
by Geschäftsprozessmanagement Mit, Ereignisgesteuerten Prozessketten, Qualysoft Gmbh (wien — 2006
….................................................................137 S. Denne Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid…
Add To MetaCart

Showing 1 through 2.

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