Deltakere in ARVI: Runtime Verification beyond Monitoring

Navn	Telefon	E-post	Emneord
Volker Stolz
Martin Steffen
Einar Broch Johnsen Professor	+47 22852509	einarj@ifi.uio.no	informatikk, programmering og nettverk, logikk, sikkerhet, teoretisk databehandling, kvalitetssikring av programvaresystemer, software engineering, modellering av programvaresystemer, analyse av programvaresystemer, formelle metoder, objekt-orientering, parallelle og distribuerte systemer, Programmeringsspråk