Search Sciweavers | Sciweavers

1837 search results - page 6 / 368

» Abstraction and the C Machine Model

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines

15 years 9 months ago

Download www.informatik.uni-ulm.de

Wolf Zimmermann, Axel Dold

claim paper

Read More »

116

click to vote

ASM
2000
ASM

111views Computational Biology» more ASM 2000»

Model Checking Abstract State Machines and Beyond

15 years 8 months ago

Download www.eecs.umich.edu

Marc Spielmann

claim paper

Read More »

109

click to vote

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

15 years 8 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

121

click to vote

ECOOPW
1998
Springer

100views Distributed And Parallel Com...» more ECOOPW 1998»

A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine

15 years 8 months ago

Download www.di.uniovi.es

Lourdes Tajes Martínez, Fernando Álv...

claim paper

Read More »

100

click to vote

MODELLIERUNG
2004

59views Software Engineering» more MODELLIERUNG 2004»

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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers