Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Poul Hougaard"'
Autor:
Jan Storbank Pedersen, Arne Skou, Kim Guldstrand Larsen, Poul Hougaard, Brian Nielsen, Marius Mikučionis, Steen Ulrik Palm, Jacob Illum Rasmussen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642165603
ISoLA (2)
ISoLA (2)
We propose a modeling framework for performing schedulability analysis by using UPPAAL real-time model-checker [2]. The framework is inspired by a case study where schedulability analysis of a satellite system is performed. The framework assumes a si
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2789e33289963fe950ecac5fe0dae792
https://doi.org/10.1007/978-3-642-16561-0_21
https://doi.org/10.1007/978-3-642-16561-0_21
