Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be under specified to a degree that does not allow useful properties to be checked. © 2010 Springer.
CITATION STYLE
Williams, J. R., Polack, F. A. C., & Paige, R. F. (2010). Formal analysis in model management: Exploiting the power of CZT. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5977 LNCS, p. 414). https://doi.org/10.1007/978-3-642-11811-1_46
Mendeley helps you to discover research relevant for your work.