Author:Axel Busboom
Keyphrasescontrolled natural language, Data-driven design, formal methods, formalSpec, monitor automata, Probabilistic Reachability, Requirement Templates, requirements capture, Smart grid energy management, specification templates, tool, verification. |