Publications

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(s)

de la Puente J.A.Vardanega T.

Document Type

Proceedings Paper

Year published

2015

Published

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

Volume: 9111, Pages: 131-145

Conference

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

Indexing