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