K. Pierce

发表

Roberto Palacin, Ken Pierce, Carl Gamble, 2019, Urban Rail Transit.
Cliff B. Jones, Ken G. Pierce, Cliff B. Jones, 2011, Formal Aspects of Computing.
Cliff B. Jones, Ken G. Pierce, Cliff B. Jones, 2008, ABZ.
Kenneth Pierce, Carl Gamble, Carl Gamble, 2014, Collaborative Design for Embedded Systems.
Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, 2014, Collaborative Design for Embedded Systems.
Peter Gorm Larsen, Kenneth Lausdahl, Kenneth Pierce, 2014, Collaborative Design for Embedded Systems.
Bert Bos, John S. Fitzgerald, Kenneth Pierce, 2014, Collaborative Design for Embedded Systems.
Marcel Verhoef, Jan F. Broenink, Kenneth Pierce, 2014, Collaborative Design for Embedded Systems.
John S. Fitzgerald, Kenneth Pierce, J. Fitzgerald, 2014, Collaborative Design for Embedded Systems.
Bert Bos, Marcel Verhoef, Kenneth Pierce, 2014, Collaborative Design for Embedded Systems.
Peter Gorm Larsen, John S. Fitzgerald, Kenneth Pierce, 2014, Collaborative Design for Embedded Systems.
Marcel Verhoef, Kenneth Pierce, Sune Wolff, 2014, Collaborative Design for Embedded Systems.
Jim Woodcock, Peter Gorm Larsen, John S. Fitzgerald, 2017, SEFM Workshops.
Peter Gorm Larsen, John S. Fitzgerald, Ken G. Pierce, 2014, 2014 9th International Conference on System of Systems Engineering (SOSE).
Cliff B. Jones, Ken G. Pierce, Cliff B. Jones, 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Jim Woodcock, Peter Gorm Larsen, John S. Fitzgerald, 2015, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.
Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, 2013, Mathematical Structures in Computer Science.
A. Mokhov, K. Pierce, Anirban Bhattacharyya, 2016, Formal Aspects of Computing.
Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, 2010, IFM.
Jan F. Broenink, Yunyun Ni, Carl Gamble, 2012, 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.
John S. Fitzgerald, Carl Gamble, Ken G. Pierce, 2012, IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).
J. F. Broenink, C. Kleijn, P. G. Larsen, 2010, SERENE.