Login / Signup
Comments on "Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity".
Louis J. Vroomen
Paul J. Zsombor-Murray
P. Baracos
Robert D. Hudson
Published in:
IEEE Trans. Computers (1989)
Keyphrases
</>
state machine
data sets
user interface
automatic theorem proving
strengths and weaknesses
database
machine learning
fault tolerant
state machines
real time
databases
website
data model
building blocks
design process
engineering design