Supporting model-based design. (English)
Bellatreche, Ladjel (ed.) et al., Model and data engineering. First international conference, MEDI 2011, Óbidos, Portugal, September 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24442-1/pbk). Lecture Notes in Computer Science 6918, 237-248 (2011).
1
DALculus ‒ theory and tool for development assurance level allocation. (English)
Flammini, Francesco (ed.) et al., Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). Lecture Notes in Computer Science 6894, 43-56 (2011).
2
Supporting model based design (English)
MEDI, 237-248 (2011).
3
Dalculus - theory and tool for development assurance level allocation (English)
SAFECOMP, 43-56 (2011).
4
Algorithmic based fault tolerance applied to high performance computing. (English)
Comput. Res. Repos. 2008, Article No. 0806.3121 (2008).
5
Un cadre formel pour la spécification multivue de systèmes avioniques (English)
Technique et Science Informatiques 25, No. 1, 43-72 (2006).
6
Formal modelling of avionics systems. An approach based on category theory and the EXPRESS modelling language (English)
ISoLA, 36-44 (2006).
7
A framework for heterogeneous formal modeling and compositional verification of avionics systems (English)
MEMOCODE, 223-232 (2004).
8
A double deduction system for quantum logic based on natural deduction. (English)
J. Philos. Log. 26, No.1, 57-67 (1997).
9
Start
Contact
Print
General Help
