Home
last modified time | relevance | path

Searched refs:Automata (Results 1 – 5 of 5) sorted by relevance

/linux/drivers/uio/
H A DKconfig76 tristate "Automata Sercos III PCI card driver"
80 Automata GmbH. The userspace part of this driver will be
81 available for download from the Automata GmbH web site.
83 Automata GmbH: http://www.automataweb.com
/linux/tools/verification/rvgen/rvgen/
H A Ddot2c.py16 from .automata import Automata
18 class Dot2c(Automata):
H A Dautomata.py13 class Automata: class
/linux/Documentation/trace/rv/
H A Dda_monitor_instrumentation.rst1 Deterministic Automata Instrumentation
H A Ddeterministic_automata.rst1 Deterministic Automata