4 treff

Demissie Bediye Aredo
LBS privacy system architecture : a scalability and performance analysis
Demissie Bediye Aredo
Bok Engelsk 2003
Formal system development using method integration : a case study
Demissie Bediye Aredo
Bok Engelsk 2004
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.]
Bok Engelsk 2004