Hopp til hovedinnhold
UiO
Det matematisk-naturvitenskapelige fakultet
No
En
Meny
For ansatte
Mine studier
Søk i nettsidene til MN
Søk
Forsiden MN
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om fakultetet
Personer
Gå til uio.no
Undermeny
Nettsider med emneord «COST action»
Projects of the Reliable Systems (PSY) group and former PMA
Publisert 13. mars 2011 14:05
ARVI: Runtime Verification beyond Monitoring
Publisert 8. jan. 2015 12:03
RSS-strøm fra denne siden