Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Blieberger, Johann. (Editor ), Bader, Markus. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Programming and Software Engineering ; 10300
Materias:
Programming languages (Electronic computers).
Software engineering.
Special purpose computers.
Computer logic.
Operating systems (Computers).
Programming Languages, Compilers, Interpreters.
Software Engineering.
Special Purpose and Application-Based Systems.
Logics and Meanings of Programs.
Operating Systems.
Acceso en línea:https://doi.org/10.1007/978-3-319-60588-3
Tabla de Contenidos:
  • Runtimes
  • Safety and security
  • Timing verification
  • Programming models
  • The future of safety-minded languages
  • Mixed criticality.

Ejemplares similares