2002 · 11 citations · 0 references
ComputingComputer EngineeringComputer ScienceFormal MethodsModel-based Systems EngineeringReal-time SystemsAutomata TheoryFinite AutomataFinite-state MachinesFormal LanguagesSpecification LanguagesTemporal LogicAutomata-theoretic SemanticsFinite Automata TheoryTimed AutomataTimed Automata SemanticsTimed Finite State Machines