Research output per year
Research output per year
Research output
Search results
-
2012
Using Compositional Verification to Manage Change in Large-Scale Systems
Calinescu, R. C., Kikuchi, S. & Johnson, K. H. A., 2012, Large-Scale Complex IT Systems - Development, Operation and Management. Vol. 7539.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)