5 treff

Formal development of open distributed systems : integration of UML and PVS
by Demissie Bediye Aredo
Bok Engelsk 2005
Integration of structured review and model-based verification : a case study
Demissie B. Aredo ... [et al.]
Bok Engelsk 2004
Formal system development using method integration : a case study
Demissie Bediye Aredo
Bok Engelsk 2004
LBS privacy system architecture : a scalability and performance analysis
Demissie Bediye Aredo
Bok Engelsk 2003
Monitoring and visualization of distributed systems
Demissie Bediye Aredo
Bok Engelsk 1998