Search

Ana Cavalcanti

RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing
RoboWorld: Where Can My Robot Work?
Modelling timed reactive systems from natural-language requirements
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP
A Formal Model for Natural-Language Timed Requirements of Reactive Systems

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