Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
FDR: From Theory to Industrial Application
Thomas Gibson-Robinson
,
Guy Broadfoot
,
Gustavo Carvalho
,
Philippa Hopcroft
,
Gavin Lowe
,
Sidney Nogueira
,
Colin O'Halloran
,
Augusto Sampaio
January 2017
Cite
DOI
URL
Type
Book section
Publication
Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Related
Analytical Comparison of Refinement Checkers
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
Test Case Generation from Natural Language Requirements Based on SCR Specifications
A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
Cite
×