Chukwuogo Bosah

Bosah Chukwuogo · C B

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

Chul B. Park