Amanote Research
Register
Sign In
The Attributed-Behavior Abstraction and Synthesis Tools
doi 10.1145/196244.196552
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1994
Authors
Lawrence F. Arnstein
Don Thomas
Publisher
ACM Press
Related search
Synthesis of Attributed Feature Models From Product Descriptions
Automating Tolerance Synthesis: A Framework and Tools
Journal of Manufacturing Systems
Control
Systems Engineering
Industrial
Manufacturing Engineering
Hardware
Architecture
Software
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Tooth Marks on Isolated Bones Cannot Be Attributed to Tyrannosaurid Play Behavior
Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis
IEE Proceedings - Control Theory and Applications
Tools for Chemical Synthesis in Microsystems
Lab on a Chip - Miniaturisation for Chemistry and Biology
Biochemistry
Nanoscience
Bioengineering
Nanotechnology
Chemistry
Biomedical Engineering
The Abstraction Transition Taxonomy
An Iterative Abstraction Algorithm for Reactive Correct-By-Construction Controller Synthesis
The Yogasastra Attributed to Yajñavalkya
JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
