Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.

Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard

Browse the full ISoLA paper archive.