Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Reliable Software Technologies - Ada-Europe 2015de la Puente Tullio VardanegaSpringer International Publishing 2015Acesso online |
2 |
Material Type: Livro
|
![]() |
Reliable Software Technologies – Ada-Europe 2014Tullio Vardanega Laurent George Josef Kittler; Tullio VardanegaSpringer International Publishing 2014Acesso online |
3 |
Material Type: Livro
|
![]() |
Reliable software technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20 2008Ada-Europe International Conference on Reliable Software Technologies (13th 2008 Venice, Italy) Fabrice Kordon; T Vardanega (Tullio)Berlin Springer London 2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.5026 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Reliable software technology Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 proceedingsAda-Europe International Conference on Reliable Software Technologies (10th 2005 York, England) T Vardanega (Tullio); Andrew J WellingsBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Artigo
|
![]() |
Evaluating a multicore Mixed-Criticality System implementation against a temporal isolation kernelBottaro, M. ; Vardanega, T.Journal of systems architecture, 2022-09, Vol.130, p.102688, Article 102688 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Removing bias from the judgment day: A Ravenscar-based toolbox for quantitative comparison of EDF-to-RM uniprocessor schedulingPerale, D. ; Vardanega, T.Journal of systems architecture, 2021-10, Vol.119, p.102236, Article 102236 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
7 |
Material Type: Livro
|
![]() |
Reliable Software Technologies - Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. ProceedingsGeorge, Laurent ; Vardanega, Tullio Vardanega, Tullio ; George, LaurentNetherlands: Springer Nature 2014Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Reliable Software Technologies - Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedingsde la Puente, Juan Antonio ; Vardanega, Tullio Vardanega, Tullio ; de la Puente, Juan AntonioCham: Springer Nature 2015Texto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation SystemsShawky, MohamedReliable Software Technologies – Ada-Europe 2014, p.7-10 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Property Preservation and Composition with Guarantees: From ASSERT to CHESSVardanega, T.2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009, p.125-132IEEETexto completo disponível |