BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Conferência

Tipo de Documento
Artigo Completo

Título
Enforcing Timeliness and Safety in Mission-Critical Systems

Participantes na publicação
António Casimiro (Author)
Dep. Informática
LASIGE
Inês Gouveia (Author)
José Rufino (Author)
Dep. Informática
LASIGE

Data de Publicação
2017

Evento
Reliable Software Technologies – Ada-Europe 2017,Lecture Notes in Computer Science

Identificadores da Publicação
ISSN - 0302-9743
eISSN - 1611-3349
ISBN - 9783319605876,9783319605883

Editora
Springer International Publishing

Número de Páginas
16
Página Inicial
53
Página Final
69

Identificadores do Documento
URL - http://dx.doi.org/10.1007/978-3-319-60588-3_4
DOI - https://doi.org/10.1007/978-3-319-60588-3_4

Identificadores de Qualidade
CORE A (CORE2014) -


Exportar referência

APA
António Casimiro, Inês Gouveia, José Rufino, (2017). Enforcing Timeliness and Safety in Mission-Critical Systems. Reliable Software Technologies – Ada-Europe 2017,Lecture Notes in Computer Science, 53-69

IEEE
António Casimiro, Inês Gouveia, José Rufino, "Enforcing Timeliness and Safety in Mission-Critical Systems" in Reliable Software Technologies – Ada-Europe 2017,Lecture Notes in Computer Science, , 2017, pp. 53-69, doi: 10.1007/978-3-319-60588-3_4

BIBTEX
@InProceedings{39608, author = {António Casimiro and Inês Gouveia and José Rufino}, title = {Enforcing Timeliness and Safety in Mission-Critical Systems}, booktitle = {Reliable Software Technologies – Ada-Europe 2017,Lecture Notes in Computer Science}, year = 2017, pages = {53-69}, address = {}, publisher = {Springer International Publishing} }