State Enumeration With Abstract Descriptions of State Machines

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-60385-9_9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Concurrent Abstract State Machines

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks With Abstract State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Finite State Machines

2017English

Constructing Compact Tests for Functional Verification of VHDL Descriptions of the Finite State Machines

Upravlâûŝie sistemy i mašiny
2017English

TURTLES AS STATE MACHINES - Agent Programming in NetLogo Using State Machines

2012English

Verifying the Accuracy of Interlocking Tables for Railway Signalling Systems Using Abstract State Machines

Journal of Modern Transportation
Electronic EngineeringComputer Science ApplicationsElectricalMechanical EngineeringTransportation
2016English

On State-Behavior Machines

Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
1977English

Reinforcement Learning With Low-Complexity Liquid State Machines

Frontiers in Neuroscience
Neuroscience
2019English

Asynchronous Programming, Analysis and Testing With State Machines

2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy