Search Sciweavers | Sciweavers

1917 search results - page 13 / 384

» The York Abstract Machine

click to vote

ASM
2005
ASM

116views Computational Biology» more ASM 2005»

Tools for System Validation with B Abstract Machines

14 years 1 months ago

Download rodin.cs.ncl.ac.uk

Michael J. Butler, Michael Leuschel, Colin F. Snoo...

claim paper

Read More »

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

14 years 1 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

click to vote

CMSB
2004
Springer

104views Applied Computing» more CMSB 2004»

The Biochemical Abstract Machine BIOCHAM

14 years 1 months ago

Download hal.archives-ouvertes.fr

Nathalie Chabrier-Rivier, François Fages, S...

claim paper

Read More »

click to vote

ICESS
2004
Springer

114views Software Engineering» more ICESS 2004»

Abstraction and the C++ Machine Model

14 years 1 months ago

Download www2.research.att.com

Bjarne Stroustrup

claim paper

Read More »

click to vote

ICFEM
2004
Springer

65views Software Engineering» more ICFEM 2004»

Implementing Dynamic Aggregations of Abstract Machines in the B Method

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers