John Thistle
Associate Professor
ELECTRICAL AND COMPUTER ENGINEERING
University of Waterloo
Canada
Biography
John Thistle, is an Associate Professor in University of Waterloo. He received his PhD, University of Toronto.
Research Interest
Control of discrete event systems Formal synthesis and verification of discrete event systems Applications to software development
Publications
-
Thistle finch. Brill’s New Pauly [Internet]. Brill Academic Publishers
-
John Thistle. Agricultural History [Internet]. Agricultural History Society; 2016;90(3):420.
-
Nazari S, Thistle J. Blocking in Parameterized Networks of Discrete-Event-Systems. 2007 American Control Conference [Internet]. IEEE; 2007 Jul