P. Alexander
发表
Evan Austin,
P. Alexander,
2015
.
Perry Alexander,
Mary Cindy Kong Shing Cheong,
P. Alexander,
2004
.
Pierre Flener,
Perry Alexander,
P. Flener,
2003,
Automated Software Engineering.
ActiveSPEC - A Framework for the Specification and Verification of Active Network Services and Secur
Philip A. Wilsey,
Perry Alexander,
Darryl Dieckman,
1998,
LICS 1998.
Catherine Menon,
Perry Alexander,
Cindy Kong,
2003,
J. Univers. Comput. Sci..
Perry Alexander,
John D. Ramsdell,
Paul D. Rowe,
2021,
ACM Trans. Priv. Secur..
P. Alexander,
Kuznetsov Aleksandr Gennad'evich,
2019
.
P. Alexander,
Kuznetsov Aleksandr Gennad'evich,
2019
.
John Penix,
Perry Alexander,
J. Penix,
1999,
Automated Software Engineering.
Perry Alexander,
P. Alexander,
2005,
J. Syst. Softw..
Perry Alexander,
Brandon Morel,
P. Alexander,
2004,
IEEE Transactions on Software Engineering.
Perry Alexander,
Brandon Morel,
P. Alexander,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Perry Alexander,
Brandon Morel,
P. Alexander,
2003,
10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..
Perry Alexander,
Nicolas Frisby,
Philip Weaver,
2007,
GPCE '07.
Perry Alexander,
Brigid Halling,
P. Alexander,
2013,
NASA Formal Methods.
Perry Alexander,
Cindy Kong,
Darryl D. Dieckman,
2000,
FMSP '00.
Perry Alexander,
Cindy Kong,
P. Alexander,
2003,
10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..
Murali Rangarajan,
Perry Alexander,
Phillip Baraona,
1999,
World Congress on Formal Methods.
Krishnan Subramani,
Philip A. Wilsey,
Perry Alexander,
1998,
J. Syst. Archit..
Perry Alexander,
Phillip Baraona,
P. Alexander,
1997,
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems.
Perry Alexander,
Garrin Kimmell,
Cindy Kong,
2006
.
Perry Alexander,
Jennifer Streb,
P. Alexander,
2006
.
P. Alexander,
2007
.
Perry Alexander,
Grant Jurgensen,
Adam Petz,
2021,
2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Perry Alexander,
John D. Ramsdell,
Paul D. Rowe,
2019,
POST.
Perry Alexander,
Adam Petz,
P. Alexander,
2019,
HotSoS.