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 «ABS»
SMT4ABS
Publisert 1. des. 2014 11:20
Delta-oriented Monitor Specification
Publisert 31. mai 2012 18:29
RvABS: Runtime Verification for ABS Product Lines
Publisert 31. mai 2012 17:37
Reliable systems (PSY)
Publisert 9. nov. 2010 10:47
RSS-strøm fra denne siden