Integration of structured review and model-based verification : a case study

Demissie B. Aredo ... [et al.]
Inngår i serie: Report / Norsk regnesentral (1001)
Bok · Engelsk · 2004
Vis mer

Formal development of open distributed systems : integration of UML and PVS

Demissie Bediye Aredo
Inngår i serier: Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (no. 404), Unipubavhandlinger
Bok · Engelsk · 2005
Vis mer

Formal system development using method integration : a case study

Demissie Bediye Aredo
Inngår i serie: Report / Norsk regnesentral (no. 1002)
Bok · Engelsk · 2004
Vis mer

LBS privacy system architecture : a scalability and performance analysis

Demissie Bediye Aredo
Inngår i serie: Rapport / Norsk regnesentral (no. 990)
Bok · Engelsk · 2003
Vis mer

Monitoring and visualization of distributed systems

Demissie Bediye Aredo
Bok · Engelsk · 1998
Vis mer