Sch Tn S A / Control Program S A / Modelling Real-Time Systems / /
Continent
Europe / /
Country
Denmark / /
Currency
Rs / / /
Facility
Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Aalborg University / facility of U PPAAL / Each port / /
IndustryTerm
real-time control programs / actual algorithm / fixed scheduling algorithm / overall real-time system / particular scheduling algorithm / real-time systems / particular algorithm / verification tool / /
Organization
Danish National Research Foundation / BRICS Department / University of Aarhus / Aalborg University / Department of Computer Science / Computer Science University of Aarhus Ny Munkegade / /
Person
Rune G. Madsen / Lars Bj¨ornfot / Paul Pettersson / Brick Kick Off / Steffen K. Mortensen / Fredrik Bajersvej / Kim G. Larsen Paul Pettersson Morten / Rune G. Madsen Steffen / Paul Pettersson Morten Laursen Chris / Steffen K. Mortensen Paul Pettersson Chris / Brick Sorter / Kim G. Larsen Morten Laursen Rune / Chris B. Thomasen / Steffen K. Mortensen Kim / David Baum / / /
Position
guard / speaker / round-robin scheduler / scheduler / left end / interpreter / /