Autofunk: an inference-based formal model generation framework for production systems

Type
Publication
20th International Symposium on Formal Methods, FME 2015