Publicações

The Concerto Methodology for Model-Based Development of Avionics Software

AuthID
P-00G-X1K

Author(s)

Baldovin, A

Zovi, A

Nelissen, G

Puri, S

Editor(es)

de la Puente J.A.Vardanega T.

Tipo de Documento

Proceedings Paper

Year published

2015

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 9111, Páginas: 131-145

Conference

20Th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, Date: 22 June 2015 through 26 June 2015, Patrocinadores: AdaCore;Rapita Systems Ltd.

Indexing