Search

Manuel Mazzara

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

Published with Wowchemy — the free, open source website builder that empowers creators.