Abstract State Machines. A Method for Hi
β Egon BΒ¨orger, and Robert StΓ€rk
π Library
π
2003
π Springer-Verlag
π English
β¦ LIBER β¦
π
High level system design and analysis using abstract state machines
β Scribed by Borgner E.
- Tongue
- English
- Leaves
- 43
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Abstract state machines: A method for hi
β Egon Boerger, Robert Staerk
π Library
π
2003
π Springer
π English
This book combines the features of a textbook and a handbook Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook of the working software engineer. As a textbook it supports self-study or it can form the basis of
Abstract state machines A method for hig
β Egon BΓΆrger, Robert StΓ€rk
π Library
π
2003
π Springer
π English
Abstract state machines..A method for hi
π Library
π
2003
π Springer
π English
Asynchronous Sequential Machine Design a
β Richard F. Tinder
π Library
π
2009
π Morgan and Claypool Publishers
π English
Asynchronous Sequential Machine Design and Analysis provides a lucid, in-depth treatment of asynchronous state machine design and analysis presented in two parts: Part I on the background fundamentals related to asynchronous sequential logic circuits generally, and Part II on self-timed systems, hig
High-Level System Modeling: Specificatio
β Jean-Paul Calvez (auth.), Ronald Waxman, Jean-Michel BergΓ©, Oz Levia, Jacques Ro
π Library
π
1996
π Springer US
π English
<p>In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally `test' an evolving design against a model of a specification. Such high-level models may deal with areas such as performa