Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by E. Cerny
State Enumeration With Abstract Descriptions of State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Concurrent Abstract State Machines
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks With Abstract State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Finite State Machines
Constructing Compact Tests for Functional Verification of VHDL Descriptions of the Finite State Machines
Upravlâûŝie sistemy i mašiny
TURTLES AS STATE MACHINES - Agent Programming in NetLogo Using State Machines
Verifying the Accuracy of Interlocking Tables for Railway Signalling Systems Using Abstract State Machines
Journal of Modern Transportation
Electronic Engineering
Computer Science Applications
Electrical
Mechanical Engineering
Transportation
On State-Behavior Machines
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
Reinforcement Learning With Low-Complexity Liquid State Machines
Frontiers in Neuroscience
Neuroscience
Asynchronous Programming, Analysis and Testing With State Machines
