• Hovednavigasjon (hopp)
  • Hovedinnholdet (hopp)
  • Temanavigasjon (hopp)
  • Kontaktinformasjon (hopp)
Organisasjonsnavigasjon
Forsiden UiO Det matematisk-naturvitenskapelige fakultet Institutt for informatikk
UiO UiO Universitetet i Oslo Institutt for informatikk Det matematisk-naturvitenskapelige fakultet
  • For ansatte
  • English website
  • Meny
  • Søk
Hovednavigasjon
  • Forsiden IFI
  • Forskning
  • Studier
  • Livet rundt studiene
  • Tjenester og verktøy
  • Om instituttet
  • Personer
 
Undernavigasjon
  • Forskning
  • Forskningsprosjekter
    • Abstract Behavioral Specification (ABS)
Forskning > Forskningsprosjekter > Abstract Behavioral Specification (ABS)

Deltakere i ABS: Abstract Behavioral Specification

Navn Telefon E-post Emneord
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
UiO > Det matematisk-naturvitenskapelige fakultet >
Institutt for informatikk > Forskning >

Besøksadresse

Ole-Johan Dahls Hus (kart)
Gaustadalléen 23 B
N-0373 OSLO
Norge

Postadresse

Postboks 1080
Blindern
0316 OSLO
Norge

Telefon, faks, e-post

22 85 24 10
ifiadm@ifi.uio.no

Ansvarlig for denne siden

Nettredaksjonen Ifi

Logg inn Logg ut meny
  • Administrer dette dokumentet