Pages that link to "Item:Q615897"
From MaRDI portal
The following pages link to Validation and verification of web services choreographies by using timed automata (Q615897):
Displaying 4 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
