Jean-Michel Bruel
Jean-Michel Bruel
Home
Publications
Talks
Teachings
Projects
People
CV
Experience
Fun
Contact
Light
Dark
Automatic
Alexandr Naumchev
2019 - Associate Professor at Innopolis University
Innopolis University
Latest
AutoReq: expressing and verifying requirements for control systems
Towards an Anatomy of Software Requirements
Cite
×
