Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Khaled El-Fakih
Testing Nondeterministic Finite State Machines With Respect to the Separability Relation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Test Suite Minimization for Embedded Nondeterministic Finite State Machines
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Design Verification and Functional Testing of Finite State Machines
Finite State Machines
On Transition Time Testing Based on Extended Finite State Machines
Asynchronous Programming, Analysis and Testing With State Machines
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Checking Experiments for Finite State Machines With Symbolic Inputs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Finite State Testing and Syntax Testing
INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY
