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 «DAAD»
RvABS: Runtime Verification for ABS Product Lines
Publisert 31. mai 2012 17:37
Delta-oriented Monitor Specification
Publisert 31. mai 2012 18:29
How useful are existing monitoring languages for securing Android apps?
Publisert 28. jan. 2013 17:58
Projects of the Reliable Systems (PSY) group and former PMA
Publisert 13. mars 2011 14:05
RSS-strøm fra denne siden