Treffliste - Demissie Bediye Aredo - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

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

Ledig 1/1

Formal system development using method integration : a case study

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

Ledig 3/3

LBS privacy system architecture : a scalability and performance analysis

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

Ledig 3/3

Monitoring and visualization of distributed systems

Demissie Bediye Aredo
Bok Engelsk 1998

Ledig 1/1

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

Ledig 2/2

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