scientific article; zbMATH DE number 3358370
From MaRDI portal
Publication:5632473
Cited in
(19)- Behaviour, reduction and minimization of finite \({\mathbb{L}}\)-automata
- Equivalence, reduction and minimization of finite automata over semirings
- Various kinds of automata with weights
- On the output function in a Ginsburg's machine
- Synthesis of distinguishing test cases for timed finite state machines
- On deriving test suites for nondeterministic finite state machines with time-outs
- FSM-based testing from user defined faults adapted to incremental and mutation testing
- Defining and measuring trophic role similarity in food webs using regular equivalence
- On the geometric concomitants
- On the geometric concomitant equation
- Describing homing and distinguishing sequences for nondeterministic finite state machines via synchronizing automata
- On the complexity of existence of homing sequences for nondeterministic finite state machines
- Representation of semiautomata by canonical words and equivalences. II: Specification of software modules
- scientific article; zbMATH DE number 3856416 (Why is no real title available?)
- scientific article; zbMATH DE number 3769005 (Why is no real title available?)
- Deriving Homing Sequences for Finite State Machines with Timed Guards
- Complete model-based equivalence class testing for nondeterministic systems
- Fuzzy acceptors for syntactic pattern recognition
- Computation of distances for regular and context-free probabilistic languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5632473)
