Johan Wortmann

Zoekresultaten

• 2013

  An Automated Analysis Of Process Interference Verified With LTL Checking

  van Beest, N., Bucur, D., Wortmann, J. & Lazovik, A., 2013, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.

  Onderzoeksoutput › Professional
• 2008

  Kijken op een afstand, een leerzaam alternatief: Onderzoek naar de effectiviteit en efficiency van Koala telecare en telecure

  Boonstra, A., Broekhuis, H., van Offenbeek, M. A. G., Westerman, W., Wijngaard, J. & Wortmann, J. C., 2008, Groningen: Rijksuniversiteit Groningen.

  Onderzoeksoutput › Professional
• 2005

  Herziening van de informatie-inrichting van het facilitair bedrijf van de Rijksuniversiteit Groningen

  Boonstra, A., Balsters, H., Schaap, D. & Wortmann, J., 2005, Facilitair Bedrijf, University of Groningen.

  Onderzoeksoutput › Professional