Testable Specifications of NoTA-based Modular Embedded Systems

Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho. Testable Specifications of NoTA-based Modular Embedded Systems. In 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland. pages 375-383, IEEE Computer Society, 2008. [doi]

Authors

Dragos Truscan

Identified as Dragos Truscan

Johan Lindqvist

This author has not been identified. Look up 'Johan Lindqvist' in Google

Johan Lilius

This author has not been identified. Look up 'Johan Lilius' in Google

Ivan Porres

This author has not been identified. Look up 'Ivan Porres' in Google

Timo Eriksson

This author has not been identified. Look up 'Timo Eriksson' in Google

Juha Rakkola

This author has not been identified. Look up 'Juha Rakkola' in Google

Antti Latva-Aho

This author has not been identified. Look up 'Antti Latva-Aho' in Google