Antti Latva-Aho

According to our database, Antti Latva-Aho authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Testable Specifications of NoTA-based Modular Embedded Systems.

Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008