Uses of Interface
nz.ac.waikato.modeljunit.timing.TimedFsmModel

Packages that use TimedFsmModel

nz.ac.waikato.modeljunit.examples	Examples of Using ModelJUnit
nz.ac.waikato.modeljunit.timing

Uses of TimedFsmModel in nz.ac.waikato.modeljunit.examples

Classes in nz.ac.waikato.modeljunit.examples that implement TimedFsmModel

class	AlarmClock
class	TrafficLight

Uses of TimedFsmModel in nz.ac.waikato.modeljunit.timing

Constructors in nz.ac.waikato.modeljunit.timing with parameters of type TimedFsmModel

TimedModel(TimedFsmModel model)