spfs1
Representation from continuous systems to discrete event systems Dr Hongnian Yu Department of Computing.
Partial Order Semantics of Types of Nets Robert Lorenz, Gabriel Juhás, Sebastian Mauser SOFSEM 2009, Špindlerův Mlýn, CZ, 27th February 2009.
Software testing techniques Spring 2009 Csci565: Theory and Practice of Software Testing 1 Csci565: Graph Theory for Testers.
Representation from continuous systems to discrete event systems
CSCI1600: Embedded and Real Time Software Lecture 11: Modeling IV: Concurrency Steven Reiss, Fall 2015.