Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
"Verification and Validation"
Formal Semantics of Requirements Relationships for Traceability
Florian Galinier
PDF
Cite
Cite
×