Bosah Chukwuogo

B. C · Chukwuogo Bosah

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Improving Scalability of Model Checking SoftwareArchitectures: A Thesis on Model Checking and Transformation Methodto Improve Analysis of Software Architectures in UML978-3-639-1O142-3
(3-639-1O142-1)
2008

Bosak Czesaw