Sciweavers

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

65

Voted

MODELLIERUNG
2004

favoriteEmaildiscussreport

59views Software Engineering» more MODELLIERUNG 2004»

Modeling with Abstract State Machines: A support for accurate system design and analysis

15 years 5 days ago

Modeling with Abstract State Machines: A support for accurate system design and analysis

Download subs.emis.de

Egon Börger

Real-time Traffic

MODELLIERUNG 2004 | MODELLIERUNG 2008 |

claim paper

Related Content

» Abstract State Machines a unifying view of models of computation and of system design fram...

» Cycle count accurate memory modeling in system level design

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

» Design Implementation and Deployment of State Machines Using a Generative Approach

» Generic Interacting State Machines and Their Instantiation with Dynamic Features

» Model Checking Machine Code with the GNU Debugger

» An ActionStateBased ModelChecking Approach for the Analysis of Communication Protocols for...

» Workflow Simulation for Operational Decision Support Using Design Historic and State Infor...

» Support Vector Machines and Random Forests Modeling for Spam Senders Behavior Analysis

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2004
Where	MODELLIERUNG
Authors	Egon Börger

Comments (0)