The following pages link to María Emilia Cambronero (Q436360):
Displayed 8 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- (Q615895) (redirect page) (← links)
- Validation and verification of web services choreographies by using timed automata (Q615897) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
- (Q2038044) (redirect page) (← links)
- Runtime verification of contracts with Themulus (Q2038045) (← links)
- A Petri net approach for the design and analysis of web services choreographies (Q2390034) (← links)
- Discussion on: ``Formal specification method for systems automation'' (Q5971345) (← links)