Publications

Export 19 results:
Author Title Type [ Year(Desc)]
Filters: Author is Cleaveland, Rance  [Clear All Filters]
2018
Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees, Ferlez, James, Cleaveland Rance, and Marcus Steven I. , 2018 IEEE Conference on Decision and Control (CDC), (2018)
Programming is modeling, Cleaveland, Rance , International Symposium on Leveraging Applications of Formal Methods, (2018)