Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lawrence F. Arnstein
The Attributed-Behavior Abstraction and Synthesis Tools
Related publications
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)
