Search Sciweavers | Sciweavers

12981 search results - page 281 / 2597

» Model Checking (Abstract)

124

click to vote

DAGSTUHL
2007

113views Software Engineering» more DAGSTUHL 2007»

07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents

15 years 8 months ago

Download drops.dagstuhl.de

Giacomo Bonanno, James P. Delgrande, Jér&oc...

claim paper

Read More »

112

click to vote

DAGSTUHL
2007

86views Software Engineering» more DAGSTUHL 2007»

07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism

15 years 8 months ago

Download drops.dagstuhl.de

David Chi-Leung Wong, Albert Cohen, María J...

claim paper

Read More »

112

click to vote

DAGSTUHL
2007

85views Software Engineering» more DAGSTUHL 2007»

07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems

15 years 8 months ago

Download drops.dagstuhl.de

Holger Giese, Gabor Karsai, Edward Lee, Bernhard R...

claim paper

Read More »

230

click to vote

DSML
2008

160views Formal Methods» more DSML 2008»

Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages

15 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Daniel A. Sadilek, Stephan Weißleder

claim paper

Read More »

120

click to vote

FORTE
2007

58views Formal Methods» more FORTE 2007»

State Isomorphism in Model Programs with Abstract Data Structures

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers