Treffliste - Demissie Bediye Aredo - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

5 treff

Sortering

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

Formal system development using method integration : a case study

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

LBS privacy system architecture : a scalability and performance analysis

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

Monitoring and visualization of distributed systems

Demissie Bediye Aredo
Bok Engelsk 1998

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

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk