Author:Alexander Walsch
Keyphrasescontrolled natural language, formal methods, formalSpec, monitor automata, Requirement Templates, requirements capture, specification templates, tool, verification. |
| |||
| |||
| Copyright © 2012-2025 easychair.org. All rights reserved. |