Towards the Automatic Identification of Violations to the Normalized Systems Design Theorems.

Kris Ven, David Bellens, Philip Huysmans, Dieter Van Nuffel

Browse the full ICSoft paper archive.