Hazard Algebra and the Design of Asynchronous Automata.

Published in: Functional Programming (1992)

Keyphrases

design process
real world
case study
reinforcement learning
design methodology
user interface
computer aided
design principles
embedded systems