The following pages are not linked from or transcluded into other pages in Models Wiki.
Showing below up to 10 results starting with #1.
- DCR Graphs
- December 11th: Symbolic Execution of High-level Programs Manipulating Structured Data
- December 14th from 12-13, ProSec Talk: Security Risk Management in Business Processes
- News/January 2015
- Open PhD positions in Formal Methods for Software Product Lines
- PhD Positions in Variability Modeling, Analysis and Verification
- September 4th: Verification of model transformations with TRAN