Travelled to:1 × Germany
Collaborated with:A.Alonso E.Salazar J.A.d.l.Puente J.F.Briones J.P.Silva
Talks about:develop (2) safeti (2) model (2) framework (1) softwar (1) analysi (1) system (1) integr (1) driven (1) time (1)
Person: Miguel A. de Miguel
DBLP: Miguel:Miguel_A=_de
Contributed to:
2013
2008Wrote 2 papers:
- AdaEurope-2013-SalazarAMP #ada #framework #modelling #realtime #safety
- A Model-Based Framework for Developing Real-Time Safety Ada Systems (ES, AA, MAdM, JAdlP), pp. 127–142.
- ATEM-J-2006-MiguelBSA #analysis #development #integration #modelling #safety
- Integration of safety analysis in model-driven software development (MAdM, JFB, JPS, AA), pp. 260–280.