An architectural approach to the analysis, verification and validation of software intensive embedded systems

De-Jiu Chen, Lei Feng, Tahir Naseer Qureshi, Henrik Lönn, Frank Hagl. An architectural approach to the analysis, verification and validation of software intensive embedded systems. Computing, 95(8):649-688, 2013. [doi]

Authors

De-Jiu Chen

This author has not been identified. Look up 'De-Jiu Chen' in Google

Lei Feng

This author has not been identified. Look up 'Lei Feng' in Google

Tahir Naseer Qureshi

This author has not been identified. Look up 'Tahir Naseer Qureshi' in Google

Henrik Lönn

This author has not been identified. Look up 'Henrik Lönn' in Google

Frank Hagl

This author has not been identified. Look up 'Frank Hagl' in Google