ASM 2003:
Taormina, ItalyEgon Börger , Angelo Gargantini , Elvinia Riccobene (Eds.):
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings.
Lecture Notes in Computer Science 2589 Springer 2003, ISBN 3-540-00624-9 Invited Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bertrand Meyer :
A Framework for Proving Contract-Equipped Classes.
108-125
export record as
dblp key:
export record as
dblp key:
Research Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Sabine Glesner :
ASMs versus Natural Semantics: A Comparison with New Insights.
293-308
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Antje Nowack :
Deciding the Verification Problem for Abstract State Machines.
341-355
export record as
dblp key:
Ileana Ober :
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions.
356-371
export record as
dblp key:
export record as
dblp key:
Wolf Zimmermann ,
Axel Dold :
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.
391-406
Extended Abstracts
export record as
dblp key:
export record as
dblp key:
conf/asm/Binemann-ZdanowiczT03 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Martin Kardos ,
Ulrich Nickel :
ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction.
416
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Heinrich Rust :
A Non-standard Approach to Operational Semantics for Timed Systems.
423-424
export record as
dblp key:
Wolfram Schulte :
Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines.
425
data released under the ODC-BY 1.0 license
