Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ricardo Anido
Test Suite Minimization for Embedded Nondeterministic Finite State Machines
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Related publications
Testing Nondeterministic Finite State Machines With Respect to the Separability Relation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Nondeterministic Minimization Algorithm
Finite State Machines
Software Test Suite Minimization Using Ant Colony Optimization
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Deriving Adaptive Distinguishing Sequences for Finite State Machines
Proceedings of the Institute for System Programming of the RAS
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Probabilistic Finite-State Machines - Part I
IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern Recognition
Applied Mathematics
Computer Vision
Mathematics
Computational Theory
Artificial Intelligence
Software
Checking Experiments for Finite State Machines With Symbolic Inputs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
