Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs

D. Remenska, H.E. Bal, J.A. Templon, K. Verstoep, T. Willemse

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publication34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)
Publication statusPublished - 2014

Cite this