Michael Jackson
发表
Mario Antonioletti,
Amrey Krause,
Neil Chue Hong,
2004
.
Bashar Nuseibeh,
Thein Than Tun,
Robin Laney,
2009
.
Glen Hart,
Natasha Alechina,
Heshan Du,
2015,
2015 International Conference on Military Communications and Information Systems (ICMCIS).
Michael Jackson,
2007
.
Michael Jackson,
1989
.
Michael Jackson,
2004
.
Michael Jackson,
1967
.
Bashar Nuseibeh,
Charles B. Haley,
Robin Laney,
2003
.
Glen Hart,
Natasha Alechina,
Heshan Du,
2013,
OM.
Michael Jackson,
2009
.
Natasha Alechina,
Heshan Du,
Kristin Stock,
2013,
COSIT.
Michael Jackson,
2009
.
Michael Jackson,
M. Jackson,
1995
.
Michael Jackson,
M. Jackson,
1991
.
Michael Jackson,
M. Jackson,
1975
.
Michael Jackson,
2018
.
Bashar Nuseibeh,
Robin C. Laney,
Robin Laney,
2013
.
Brian Logan,
Natasha Alechina,
Heshan Du,
2015,
AAAI.
Glen Hart,
Natasha Alechina,
Heshan Du,
2012,
OM.
Michael Jackson,
2002
.
Michael Jackson,
M. Jackson,
1999
.
Jon G. Hall,
Lucia Rapanotti,
Michael Jackson,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).