Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
A contract-based method to specify stimulus-response requirements
January 2017
PDF
Cite
"Landing Gear System"
"Eiffel"
"Auto-Proof"
"Design by Contract"
"Seamless Requirements"
Related
AutoReq: expressing and verifying requirements for control systems
AutoReq: expressing and verifying requirements for control systems
Seamless Object-Oriented Requirements
Cite
×