The following pages link to (Q2766651):
Displayed 4 items.
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)