Marina Waldén

Marina Waldén

Abo Akademi University - Turku / Finland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1655820
Åbo Akademi University
person_outline Marina Waldén's MOST POPULAR ARTICLES
1-) Distributed system development in BMJ Butler, M WaldénIRIN (Institut de Recherche en Informatique de Nantes), 1996901996
2-) Design and implementation of energy saving digital hydraulic control systemM Linjama, M Huova, P Boström, A Laamanen, L Siivonen, L Morel, ...In: Vilenius, J. & Koskinen, KT (eds.) The Tenth Scandinavian International …, 2007702007
3-) Reasoning about action systems using the B-MethodM Waldén, K SereFormal Methods in System Design 13 (1), 5-35, 1998581998
4-) ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, ProceedingsD Bert, JP Bowen, S King, M WaldénSpringer, 200345*2003
5-) DevOps meets formal modelling in high-criticality complex systemsM Olszewska, M WaldénProceedings of the 1st International Workshop on Quality-Aware DevOps, 7-12, 2015402015