TimeWrap--a method for automatic transformation of structured guideline components into formal

Katharina Kaiser1, Silvia Miksch

  • 1Institute of Software Technology & Interactive Systems Vienna University of Technology, Favoritenstrasse 9-11/188 A-1040 Vienna, Austria. kaiser@asgaard.tuwien.ac.at

Related Concept Videos