Updatable timed automata - Concepedia

Concepedia

Publication | Open Access

Updatable timed automata

DOI Full Paper Access

103

Citations

18

References

2004

Year

Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit

Theoretical Computer Science

Logical AutomatonEngineeringAutomated ReasoningVerificationFormal MethodsAutomaton OperationComputer ScienceTimed SystemFormal Verification

References

	Year	Citations

Page 1