Odense S, Region Syddanmark
Kongens Lyngby, Region Huvudstaden
Trollhättan, Västra Götalands län
Ålesund, Möre och Romsdal
Österskär, Stockholms län
Björneborg, Västra Finland
Viborg, Region Mittjylland
Skövde, Västra Götalands län
Uleåborg, Norra Finland
Kravspecificering och formell verifiering av inbäddade realtidssystem.
Stockholm, Stockholms län
Filter