[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Historical Survey (1984-2001)


Citation: Egon Börger, "The Origins and the Development of the ASM Method for High Level System Design and Analysis". Journal of Universal Computer Science 8(1), 2--74.
Summary: A historical survey of ASM research covering 1984--2001.
Subjects: Historical Surveys & Bibliographies
Download: PDF, HTML.
Notes:  
[an error occurred while processing this directive]