Sciweavers

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

8

FORTE
2007

favoriteEmaildiscussreport

58views Formal Methods» more FORTE 2007»

State Isomorphism in Model Programs with Abstract Data Structures

13 years 6 months ago

State Isomorphism in Model Programs with Abstract Data Structures

Download research.microsoft.com

Margus Veanes, Juhan P. Ernits, Colin Campbell

Real-time Traffic

Formal Methods | FORTE 2007 |

claim paper

Related Content

» Inferring Type Isomorphisms Generically

» An extensible global address space framework with decoupled task and data abstractions

» ModeAutomata About Modes and States for Reactive Systems

» Combining Two Structured Domains for Modeling Various Graph Matching Problems

» Faithful mapping of model classes to mathematical structures

» MapJAX Data Structure Abstractions for Asynchronous Web Applications

» State Based Ownership Reentrance and Encapsulation

» Static Analysis using Parameterised Boolean Equation Systems

» Programming with Shared Data Abstractions

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2007
Where	FORTE
Authors	Margus Veanes, Juhan P. Ernits, Colin Campbell

Comments (0)