Gustavo Carvalho
Gustavo Carvalho
Home
Appointments
Awards
Teaching
Projects
Service
Editor
PC chair
General chair
Reviewer
Publications
Supervision
Graduate
Undergraduate
Contact
Light
Dark
Automatic
An Analytical and Experimental Comparison of CSP Extensions and Tools
Ling Shi
,
Yang Liu
,
Jun Sun
,
Jin Song Dong
,
Gustavo Carvalho
January 2012
Cite
DOI
URL
Type
Conference paper
Publication
Formal Methods and Software Engineering
Related
RoboWorld: Where Can My Robot Work?
A Systematic Mapping Study on Robotic Testing of Mobile Devices
Analytical Comparison of Refinement Checkers
A Formal Analysis of Concurrent Assembly Code based on CSP
A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
Cite
×