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 «Run-Time Verification»
GoRETech: Go Runtime Enforcement Techniques
Publisert 1. des. 2014 08:23
ARVI: Runtime Verification beyond Monitoring
Publisert 8. jan. 2015 12:03
RSS-strøm fra denne siden