Cristin-prosjekt-ID: 316557
Sist endret: 29. juli 2014 15:14

Cristin-prosjekt-ID: 316557
Sist endret: 29. juli 2014 15:14
Prosjekt

Applied Runtime Verification (ARV)

prosjektleder

Volker Stolz
ved Pålitelige systemer ved Universitetet i Oslo

prosjekteier / koordinerende forskningsansvarlig enhet

  • Pålitelige systemer ved Universitetet i Oslo

Tidsramme

Avsluttet
Start: 1. juli 2009 Slutt: 30. juni 2012

Beskrivelse Beskrivelse

Tittel

Applied Runtime Verification (ARV)

prosjektdeltakere

prosjektleder
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Prosjektleder
    ved Pålitelige systemer ved Universitetet i Oslo

Cristiano Bertolini

  • Tilknyttet:
    Prosjektdeltaker
    ved Universidade das Nações Unidas/Instituto internacional de Software e Tecnología

Martin Schäf

  • Tilknyttet:
    Prosjektdeltaker
    ved Universidade das Nações Unidas/Instituto internacional de Software e Tecnología
1 - 3 av 3

Resultater Resultater

The rCOS methodology and modeler.

Stolz, Volker. 2010, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

The rCOS methodology and modeler.

Stolz, Volker. 2010, 27. Workshop der GI-Fachgruppe ”Programmiersprachen und Rechenkonzepte“. UIOVitenskapelig foredrag
1 - 2 av 2