Frank Olsen

Protocol verification with reactive Promela/Rspin

Elie Najm, Frank Olsen, E. Najm, 1996, The Spin Verification System.

Model for blended learning i de tekniske uddannelser

Camilla Gyldendahl Jensen, Frank Olsen, Ulla Lunde Ringtved, 2012 .

Smarter elder care? A cost-effectiveness analysis of implementing technology in elder care

Frank Olsen, Margrethe Aanesen, Ann Therese Lotherington, 2011, Health Informatics J..

From SIBS to Distributed Objects: A Transformation Approach for Service Creation

Elie Najm, Sylvie Vignes, Frank Olsen, 1999, SMARTNET.

Economic gains from electronic message exchange: The importance of working procedures

Frank Olsen, Mikko Moilanen, Margrethe Aanesen, 2010, Int. J. Medical Informatics.

Reactive EFSMs - Reactive Promela/RSPIN

Elie Najm, Frank Olsen, E. Najm, 1996, TACAS.