MODELS 2011: A Toolchain for the Detection of Structural and Behavioral Latent System Properties
Channel: Adam Jensen
Date: 2011-11-14

Audio and slides from my presentation at MODELS 2011. The title of my talk was "A Toolchain for the Detection of Structural and Behavioral Latent System Properties" and is based on a paper by the same title.

More information: http://www.cse.msu.edu/~acj