Lecture Notes in Computer Science - Reliable Software Technologies – Ada-Europe 2015
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319195834, 9783319195841
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

AFDX Emulator for an ARINC-Based Training Platform

2015 ◽  
pp. 212-227 ◽  
Author(s):  
Jesús Fernández ◽  
Héctor Pérez ◽  
J. Javier Gutiérrez ◽  
Michael González Harbour

The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission

2015 ◽  
pp. 18-30 ◽  
Author(s):  
A. Balázs ◽  
A. Baksa ◽  
H. Bitterlich ◽  
I. Hernyes ◽  
O. Küchemann ◽  
...  
Keyword(s):  
Space Mission

The CONCERTO Methodology for Model-Based Development of Avionics Software

2015 ◽  
pp. 131-145 ◽  
Author(s):  
Andrea Baldovin ◽  
Alessandro Zovi ◽  
Geoffrey Nelissen ◽  
Stefano Puri
Keyword(s):  
Model Based

Extensible Debugger Framework for Extensible Languages

2015 ◽  
pp. 33-49 ◽  
Author(s):  
Domenik Pavletic ◽  
Markus Voelter ◽  
Syed Aoun Raza ◽  
Bernd Kolb ◽  
Timo Kehrer
Keyword(s):  
Extensible Languages
Load More ...
Sign in / Sign up

Export Citation Format

Share Document