Frank Olsen

Publication Activity (10 Years)

Years Active: 1996-2011
Publications (10 Years): 0

Publications

Margrethe Aanesen, Ann Therese Lotherington, Frank Olsen
Smarter elder care? A cost-effectiveness analysis of implementing technology in elder care. Health Informatics J. 17 (3) (2011)
Margrethe Aanesen, Mikko Moilanen, Frank Olsen
Economic gains from electronic message exchange: The importance of working procedures. Int. J. Medical Informatics 79 (9) (2010)
Elie Najm, Frank Olsen, Sylvie Vignes
From SIBS to Distributed Objects: A Transformation Approach for Service Creation. SMARTNET (1999)
Elie Najm, Frank Olsen
Protocol verification with reactive Promela/Rspin. The Spin Verification System (1996)
Elie Najm, Frank Olsen
Reactive EFSMs - Reactive Promela/RSPIN. TACAS (1996)