Gustavo Carvalho
发表
Augusto Sampaio,
Gustavo Carvalho,
Alexandre Mota,
2013,
ICFEM.
Gustavo Carvalho,
Jano Moreira de Souza,
Adriana Santarosa Vivacqua,
2008,
2008 12th International Conference on Computer Supported Cooperative Work in Design.
Augusto Sampaio,
Gustavo Carvalho,
Tainã Santos,
2018,
SBMF.
Gustavo Carvalho,
Jano Moreira de Souza,
Sergio Palma da Justa Medeiros,
2010,
The 2010 14th International Conference on Computer Supported Cooperative Work in Design.
Augusto Sampaio,
Ana Cavalcanti,
Gustavo Carvalho,
2015,
SEFM.
Augusto Sampaio,
Ana Cavalcanti,
Gustavo Carvalho,
2016,
Formal Aspects of Computing.
Gustavo Carvalho,
Volker Stolz,
V. Stolz,
2020,
SBMF.
Hugo Fuks,
Gustavo Carvalho,
Katia Vega,
2009,
2009 Simposio Brasileiro de Sistemas Colaborativos.
Augusto Sampaio,
Ana Cavalcanti,
Gustavo Carvalho,
2014,
ICFEM.
Gustavo Carvalho,
G. Carvalho,
2014
.
Gustavo Carvalho,
Jano Moreira de Souza,
Adriana Santarosa Vivacqua,
2008,
CSCWD.
Gustavo Carvalho,
Jano Moreira de Souza,
Sergio Palma da Justa Medeiros,
2011,
Proceedings of the 2011 15th International Conference on Computer Supported Cooperative Work in Design (CSCWD).
Gustavo Carvalho,
Jano Moreira de Souza,
Adriana Santarosa Vivacqua,
2007,
2007 11th International Conference on Computer Supported Cooperative Work in Design.
Gustavo Carvalho,
Jano Moreira de Souza,
Sergio Palma da Justa Medeiros,
2010,
The 2010 14th International Conference on Computer Supported Cooperative Work in Design.
Augusto Sampaio,
Gustavo Carvalho,
Alexandre Mota,
2013,
SAC '13.
Augusto Sampaio,
Gustavo Carvalho,
Mohammad Reza Mousavi,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Carlos José Pereira de Lucena,
Gustavo Carvalho,
Andrew Diniz da Costa,
2013,
ICSEA 2013.
Augusto Sampaio,
Gustavo Carvalho,
Morteza Mohaqeqi,
2017,
Sci. Comput. Program..
Gustavo Carvalho,
Jan Peleska,
Flávia de Almeida Barros,
2013,
FTSCS.
Augusto Sampaio,
Gustavo Carvalho,
Mohammad Reza Mousavi,
2017,
2017 13th IEEE Conference on Automation Science and Engineering (CASE).
Augusto Sampaio,
Gustavo Carvalho,
Alexandre Mota,
2014,
Sci. Comput. Program..
Gustavo Carvalho,
Bruno Gomes,
Candido Ferreira,
2016
.
Ling Shi,
Jun Sun,
Yang Liu,
2012,
ICFEM.
Augusto Sampaio,
Gustavo Carvalho,
Bruno Cesar F. Silva,
2015,
SBMF.
Augusto Sampaio,
Gustavo Carvalho,
Mohammad Reza Mousavi,
2019,
SEFM.
Gustavo Carvalho,
Andre Bernardes Soares Guedes,
Teofilo de Campos,
2018,
ICoFCS-2018.
Gustavo Carvalho,
Fabio Nascimbeni,
Raul Martins,
2008,
EATIS.
Augusto Sampaio,
Gustavo Carvalho,
Mark Blackburn,
2014
.
Augusto Sampaio,
Gustavo Carvalho,
Alexandre Mota,
2012,
SBMF.
Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
pdf
Gustavo Carvalho,
Igor Meira,
Gustavo Carvalho,
2019,
ArXiv.
Gustavo Carvalho,
Emilia Villani,
Kleber Roberto da Silva Santos,
2019
.
Gustavo Carvalho,
Jean-Pierre Briot,
Rodrigo Paes,
2006,
SELMAS '06.
Augusto Sampaio,
Gustavo Carvalho,
Alexandre Mota,
2016,
SBMF.
Gustavo Carvalho,
Jano Moreira de Souza,
Sergio Palma da Justa Medeiros,
2009,
2009 13th International Conference on Computer Supported Cooperative Work in Design.
Gustavo Carvalho,
Ramon R. Costa,
Sergio L. Netto,
2014,
2014 International Telecommunications Symposium (ITS).
Augusto Sampaio,
Gustavo Carvalho,
B. F. Silva,
2019,
Sci. Comput. Program..
Augusto Sampaio,
Gustavo Carvalho,
Bruno Medeiros,
2016
.