Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
Gustavo Carvalho
,
Ana Carvalho
,
Eduardo Rocha
,
Ana Cavalcanti
,
Augusto Sampaio
January 2014
Cite
DOI
URL
Type
Conference paper
Publication
Formal Methods and Software Engineering
Related
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
Modelling timed reactive systems from natural-language requirements
RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing
RoboWorld: Where Can My Robot Work?
Analytical Comparison of Refinement Checkers
Cite
×