Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
Sophie Ebersold
Latest
RQCODE - Towards Object-Oriented Requirements in the Software Security Domain
Requirements Specific Modeling Language : un langage formel d'expression d'exigences
A contract-based method to specify stimulus-response requirements
Cite
×