skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Reliable Software Technologies - Ada-Europe 2015
Material Type:
Livro
Adicionar ao Meu Espaço

Reliable Software Technologies - Ada-Europe 2015

de la Puente Tullio Vardanega

Springer International Publishing 2015

Acesso online

2
Reliable Software Technologies – Ada-Europe 2014
Material Type:
Livro
Adicionar ao Meu Espaço

Reliable Software Technologies – Ada-Europe 2014

Tullio Vardanega Laurent George Josef Kittler; Tullio Vardanega

Springer International Publishing 2014

Acesso online

3
Reliable software technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20 2008
Material Type:
Livro
Adicionar ao Meu Espaço

Reliable software technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20 2008

Ada-Europe International Conference on Reliable Software Technologies (13th 2008 Venice, Italy) Fabrice Kordon; T Vardanega (Tullio)

Berlin Springer London 2008

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.5026 ) e outros locais(Acessar)

4
Reliable software technology Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Reliable software technology Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 proceedings

Ada-Europe International Conference on Reliable Software Technologies (10th 2005 York, England) T Vardanega (Tullio); Andrew J Wellings

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

5
Evaluating a multicore Mixed-Criticality System implementation against a temporal isolation kernel
Material Type:
Artigo
Adicionar ao Meu Espaço

Evaluating a multicore Mixed-Criticality System implementation against a temporal isolation kernel

Bottaro, M. ; Vardanega, T.

Journal of systems architecture, 2022-09, Vol.130, p.102688, Article 102688 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

6
Removing bias from the judgment day: A Ravenscar-based toolbox for quantitative comparison of EDF-to-RM uniprocessor scheduling
Material Type:
Artigo
Adicionar ao Meu Espaço

Removing bias from the judgment day: A Ravenscar-based toolbox for quantitative comparison of EDF-to-RM uniprocessor scheduling

Perale, D. ; Vardanega, T.

Journal of systems architecture, 2021-10, Vol.119, p.102236, Article 102236 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

7
Reliable Software Technologies - Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Reliable Software Technologies - Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

George, Laurent ; Vardanega, Tullio Vardanega, Tullio ; George, Laurent

Netherlands: Springer Nature 2014

Texto completo disponível

8
Reliable Software Technologies - Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Reliable Software Technologies - Ada-Europe 2015: 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

de la Puente, Juan Antonio ; Vardanega, Tullio Vardanega, Tullio ; de la Puente, Juan Antonio

Cham: Springer Nature 2015

Texto completo disponível

9
Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems

Shawky, Mohamed

Reliable Software Technologies – Ada-Europe 2014, p.7-10 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

10
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Property Preservation and Composition with Guarantees: From ASSERT to CHESS

Vardanega, T.

2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009, p.125-132

IEEE

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (295)
  2. Anais de Congresso  (78)
  3. Book Chapters  (24)
  4. Conjunto de Dados  (13)
  5. Livros  (7)
  6. Reports  (3)
  7. magazinearticle  (2)
  8. Dissertações  (1)
  9. Web Resources  (1)
  10. Verbetes  (1)
  11. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1996  (9)
  2. 1996Até2002  (30)
  3. 2003Até2009  (50)
  4. 2010Até2017  (163)
  5. Após 2017  (169)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (420)
  2. Japonês  (10)
  3. Português  (8)
  4. Francês  (6)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.