Formal methods applied to component-based systems
Ibrahim, Rosziati (2000) Formal methods applied to component-based systems. PhD thesis, Queensland University of Technology.
Impact and interest:
Citation counts are sourced monthly from and citation databases.
Citations counts from theindexing service can be viewed at the linked Google Scholar™ search.
|Item Type:||QUT Thesis (PhD)|
|Additional Information:||Presented to the School of Computing Science, Queensland University of Technology.|
|Keywords:||Object-oriented programming (Computer science), Computer programming, Computer-aided software engineering, thesis, doctoral|
|Institution:||Queensland University of Technology|
|Copyright Owner:||Copyright Rosziati Ibrahim|
|Deposited On:||22 Sep 2010 13:06|
|Last Modified:||09 Feb 2011 13:55|
Repository Staff Only: item control page