Back to Results
First PageMeta Content
Computing / Integrated development environments / Not Quite C / RCX / Lego / For Inspiration and Recognition of Science and Technology / Uppaal Model Checker / HiC / Scheduling / Robotics / Lego Mindstorms / Robot kits


BRICS Basic Research in Computer Science BRICS RSIversen et al.: Model-Checking Real-Time Control Programs Model-Checking
Add to Reading List

Document Date: 2000-01-25 09:02:49

Open Document

File Size: 146,00 KB

Share Result on Facebook

Company

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 / /

Product

T1 / /

ProgrammingLanguage

Ada / DataLog / C / K / NQC / /

PublishedMedium

Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

particular algorithm / fixed scheduling algorithm / simulation / scheduling algorithm / particular scheduling algorithm / actual algorithm / /

URL

ftp /

SocialTag