George Hagen
发表
Heber Herencia-Zapana,
Anthony Narkawicz,
George Hagen,
2011,
NASA Formal Methods.
Ricky W. Butler,
Jeffrey M. Maddalon,
George Hagen,
2013
.
Nelson M. Guerreiro,
Ricky W. Butler,
Jeffrey M. Maddalon,
2016
.
Nelson M. Guerreiro,
Ricky W. Butler,
Jeffrey M. Maddalon,
2015
.
Ricky W. Butler,
Jeffrey M. Maddalon,
George Hagen,
2016
.
Nelson M. Guerreiro,
Ricky W. Butler,
Jeffrey M. Maddalon,
2017
.
Bryan E. Barmore,
Nelson M. Guerreiro,
Denise R. Jones,
2017
.
César Muñoz,
Anthony Narkawicz,
George Hagen,
2014
.
Cesare Tinelli,
Albert Oliveras,
Harald Ganzinger,
2004,
CAV.
Cesare Tinelli,
George Hagen,
C. Tinelli,
2008,
2008 Formal Methods in Computer-Aided Design.
Heber Herencia-Zapana,
Natasha Neogi,
George Hagen,
2012
.
César Muñoz,
Heber Herencia-Zapana,
Anthony Narkawicz,
2013
.
Ricky W. Butler,
George Hagen,
2014
.
César Muñoz,
Anthony Narkawicz,
Jeffrey M. Maddalon,
2015
.
Bryan E. Barmore,
Nelson M. Guerreiro,
Denise R. Jones,
2017
.
Anthony Narkawicz,
Cesar Munoz,
George Hagen,
2012,
2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).
Nelson M. Guerreiro,
Ricky W. Butler,
Jeffrey M. Maddalon,
2019
.
César Muñoz,
Anthony Narkawicz,
Ricky W. Butler,
2010
.
Gilles Dowek,
César A. Muñoz,
Ricky W. Butler,
2010,
NASA Formal Methods.
Ricky W. Butler,
Jeffrey M. Maddalon,
George Hagen,
2011
.