Sm@RT Research Team
Sm@RT Research Team
Home
People
Publications
Talks
Projects
Contact
Light
Dark
Automatic
Manuel Mazzara
Latest
Special Issue on New Paradigms of Software Production and Deployment
The Role of Formalism in System Requirements
AutoReq: expressing and verifying requirements for control systems
AutoReq: expressing and verifying requirements for control systems
Reflections on Teaching Formal Methods for Software Development in Higher Education
A contract-based method to specify stimulus-response requirements
A contract-based method to specify stimulus-response requirements
Cite
×