Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Steen Ulrik Palm"'
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
Autor:
Steen Ulrik Palm
Publikováno v:
Ada in Europe ISBN: 9783540588221
Ada-Europe
Ada-Europe
Life* ADA is an Ada Programming Support Environment (APSE) which takes the meaning of openness seriously. Ada development within Life*ADA may be based on any preferred Ada compiler system such as DACS and SunAda. But even more importantly, Life* ADA
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a26473d8cabaf801f515c7e5cfa7413
https://doi.org/10.1007/3-540-58822-1_101
https://doi.org/10.1007/3-540-58822-1_101