João F. Ferreira
João F. Ferreira
Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities
Light
Dark
Automatic
Phil White
Latest
ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
Cite
×