Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

51

APAL
2005

favoriteEmaildiscussreport

79views more APAL 2005»

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

14 years 9 months ago

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

Download www.di.unipi.it

Egon Börger

Real-time Traffic

APAL 2005 |

claim paper

Related Content

» A Mechanized Refinement Framework for Analysis of Custom Memories

» Stabilizer Quantum Codes A Unified View based on Forneystyle Factor Graphs

» Formal Modeling of RESTful Systems Using FiniteState Machines

» The TASM Toolset Specification Simulation and Formal Verification of RealTime Systems

» Choreography and Orchestration Conformance for System Design

» A Functional Programming Framework of Heterogeneous Model of Computation for System Design

» Evolvable Hardware or Learning Hardware Induction of State Machines from Temporal Logic Co...

» Formal Models for CommunicationBased Design

» The Origins and the Development of the ASM Method for High Level System Design and Analysi...

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2005
Where	APAL
Authors	Egon Börger

Comments (0)