✦ LIBER ✦

Abstract state machines and high-level system design and analysis

✍ Scribed by Egon Börger

Book ID: 108281019
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 127 KB
Volume: 336
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2004.11.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Abstract State Machines: a unifying view

Abstract State Machines: a unifying view of models of computation and of system design frameworks

✍ Egon Börger 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 248 KB

Interinstitutional analysis at the syste

Interinstitutional analysis at the system and state level

✍ Marilyn McCoy 📂 Article 📅 1987 🏛 John Wiley and Sons ⚖ 527 KB

32-Bit microprocessor architectures and

32-Bit microprocessor architectures and extended abstract machines for high level languages

✍ M. Ancona; A. Clematis; V. Gianuzzi 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 491 KB

Controller design and robustness analysi

Controller design and robustness analysis for induction machine-based positioning system

✍ Edouard Laroche; Yvan Bonnassieux; Hisham Abou-Kandil; Jean-Paul Louis 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 717 KB

Design and analysis of high speed slotle

Design and analysis of high speed slotless PM machine with Halbach array

✍ Seok-Myeong Jang, ; Sang-Sub Jeong, ; Dong-Wan Ryu, ; Sang-Kyu Choi, 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 118 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines - Theory and Applications Volume 1912 || Symbolic Analysis of Transition Systems?

✍ Gurevich, Yuri; Kutter, Philipp W.; Odersky, Martin; Thiele, Lothar 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 596 KB

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction leve