BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Enforcing Timeliness and Safety in Mission-Critical Systems

Participants in the publication
António Casimiro (Author)
Dep. Informática
 LASIGE
 Inês Gouveia (Author)
José Rufino (Author)
Dep. Informática
 LASIGE
Date of Publication
2017

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

Publication Identifiers
ISSN - 0302-9743
eISSN - 1611-3349
ISBN - 9783319605876,9783319605883

Publisher
Springer International Publishing

Number of pages
16
Starting page
53
Last page
69

Document Identifiers
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

Rankings
CORE A (CORE2014) -


Export

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} }