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 proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)
Publication status	Published - 2014

Persistent URL (handle)

@inproceedings{ffb8d47a777f4892b4addcca4018cc6c,

title = "Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs",

author = "D. Remenska and H.E. Bal and J.A. Templon and K. Verstoep and T. Willemse",

year = "2014",

language = "English",

booktitle = "34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)",

}

Property Specification Made Easy: Harnessing the Power of Model Checking in UML designs. / Remenska, D.; Bal, H.E.; Templon, J.A. et al.
34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014). 2014.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review