Martin Koskinen

According to our database, Martin Koskinen authored at least 2 papers in 2014.

Collaborative distances:

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

2014

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata.

Dragos Truscan, Jüri Vain, Martin Koskinen, Junaid Iqbal

Proceedings of the Software Technologies - 9th International Joint Conference, 2014

Combining Aspect-orientation and UPPAAL Timed Automata.

Dragos Truscan, Jüri Vain, Martin Koskinen

Proceedings of the ICSOFT-PT 2014, 2014