The following pages link to Andy Wellings (Q1770586):
Displaying 13 items.
- Replication management in reliable real-time systems (Q1770587) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Cost enforcement in the real-time specification for Java (Q2460195) (← links)
- Priority Assignment on Partitioned Multiprocessor Systems With Shared Resources (Q3389878) (← links)
- Delivering Real-Time Behaviour (Q3525017) (← links)
- Concurrent and Real-Time Programming in Ada 2005 (Q3594575) (← links)
- (Q3995645) (← links)
- (Q4343832) (← links)
- (Q4373488) (← links)
- (Q4435364) (← links)
- (Q4856175) (← links)
- Garbage Collection for Flexible Hard Real-Time Systems (Q5280721) (← links)
