bookNov 14, 2009Closed access

The Abstract State Machines Method for High-Level System Design and Analysis

EBEgon Börger

University of Pisa

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

849
total citations
FWCI
187.02
Percentile
100%
References
82
Citations per year

Authors

1

Topics & keywords

Topics
Keywords
  • Abstract state machines
  • Computer science
  • Lift (data mining)
  • Notation
  • Abstraction
  • Programming language
  • Finite-state machine
  • Algorithm
No related works found for this paper.