Publications

Export 1 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: Keyword is model checking  [Clear All Filters]
Workshop Paper
Meyers, B, Wimmer M, Vangheluwe H, Denil J.  2013.  
Towards Domain-specific Property Languages: The ProMoBox Approach.
Proceedings of the 2013 ACM Workshop on Domain-specific Modeling. :39–44. Abstract