Hopp til hovedinnhold
  • Fagfelt
  • Bransjer
  • Prosjekter
  • Publikasjoner
  • Aktuelt
    • Aktuelt
    • Podcast
    • Arrangementer
  • Om NR
    • Ansatte i NR
    • Aktsomhetsvurderinger
    • Forskningssentre
    • Jobb og karriere
    • NR i dag og historisk
    • NRs masterpris
    • NRs årsrapporter
    • Om NR
    • Organisasjon
      • DART
      • SAMBA
      • SAND
    • Presserom
      • Mediabank
    • Plan for likebehandling
    • Rettighetsstrategi
    • Samfunnsansvar
    • Veibeskrivelse
  • Språk: NO
    • EN

Verifying Distributed Algorithms with Executable Creol Models

  • Wolfgang Leister

Publikasjonsdetaljer

  • Arrangement: (Budapest)
  • År: 2011
  • Arrangør: IARIA

Wolfgang Leister

Forskningssjef DART
  • Du er her:  Hjem
  • Publikasjoner
  • Vitenskapelig foredrag
  • Verifying Distributed Algorithms with Executable Creol Models
  • Ansatte
  • Om NR

Kontakt oss

  • (+47) 2285 2500
  • nr@nr.no

Finn oss på

  • Facebook
  • LinkedIn

Organisasjonsnummer

952125001

Post

Norsk Regnesentral
Postboks 114 Blindern
0314 Oslo

Besøksadresse

Gaustadalleen 23a, 4.etasje
Kristen Nygaards hus
0373 Oslo