Search Results for "state machine editor"
Sort By:
A real time inference engine for temporal logical specifications
Enables easy experimentation with state of the art algorithms
Creates and operates a stepped state machine