Travelled to:1 × France
1 × USA
Collaborated with:R.Feldt R.Torkar B.Raza B.R.Larson S.C.Barrett N.Zhan Y.Dong
Talks about:interact (1) industri (1) challeng (1) behavior (1) softwar (1) continu (1) physic (1) hybrid (1) extens (1) verif (1)
Person: Ehsan Ahmad
DBLP: Ahmad:Ehsan
Contributed to:
2014
2010Wrote 2 papers:
- HILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling
- Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
- ICST-2010-FeldtTAR #challenge #industrial #process #validation #verification
- Challenges with Software Verification and Validation Activities in the Space Industry (RF, RT, EA, BR), pp. 225–234.