The following pages link to PAT (Q25173):
Displaying 8 items.
- Modelling timed reactive systems from natural-language requirements (Q315301) (← links)
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Verification of population protocols (Q523133) (← links)
- Enabling synchronous and asynchronous communications in CSP for SOC (Q530849) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- A formal semantics of extended hierarchical state transition matrices using CSP\# (Q736828) (← links)
