The following pages link to (Q2766651):
Displaying 6 items.
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- Continuous action systems as a model for hybrid systems (Q2743704) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)
- Domain modelling: a foundation for software development (Q6535830) (← links)