IEEE - Institute of Electrical and Electronics Engineers, Inc. - Specification, Analysis and Testing of Grid Environments Using Abstract State Machines

International Symposium on Parallel Computing in Electrical Engineering

Author(s): D. Lamch ; R. Wyrzykowski
Sponsor(s): IEEE CSP
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Bialystok, Poland
Conference Date: 13 September 2006
Page(s): 116 - 120
ISBN (Paper): 0-7695-2554-7
DOI: 10.1109/PARELEC.2006.73
Regular:

Abstract state machines (ASM) are mathematically defined environment for high-level system design, verification and analysis. This paper presents a proposition of a hybrid approach to the... View More

Advertisement