Amanote Research

Amanote Research

    RegisterSign In

Asynchronous Programming, Analysis and Testing With State Machines

doi 10.1145/2737924.2737996
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2015

Authors
Pantazis DeligiannisAlastair F. DonaldsonJeroen KetemaAkash LalPaul Thomson
Publisher

ACM Press


Related search

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

2012English

Recovery From Intermittent Faults for Input/State Asynchronous Sequential Machines

2013English

Asynchronous Analysis of Parallel Dynamic Programming Algorithms

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
1996English

Design Verification and Functional Testing of Finite State Machines

English

Testing Nondeterministic Finite State Machines With Respect to the Separability Relation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Fault Diagnosis for Composite Asynchronous Sequential Machines With Cascade Composition

International Journal of Mechanical Engineering and Robotics Research
ControlSystems EngineeringArtificial IntelligenceMechanical Engineering
2017English

Correction To: Expert Twisted: Event-Driven and Asynchronous Programming With Python

2018English

On Transition Time Testing Based on Extended Finite State Machines

1995English

Methods and Tools Increasing Energy Efficiency of Machines and Technologies With Asynchronous Drives

Bulletin of the South Ural State University series "Power Engineering"
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy