Search Sciweavers | Sciweavers

30 search results - page 1 / 6

» asm 2010

110

Voted

ASM
2010
ASM

264views Computational Biology» more ASM 2010»

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications

15 years 5 months ago

Download cs.unibg.it

Paolo Arcaini, Angelo Gargantini, Elvinia Riccoben...

claim paper

Read More »

119

click to vote

ASM
2010
ASM

273views Computational Biology» more ASM 2010»

Specifying Self-configurable Component-Based Systems with FracToy

15 years 1 months ago

Download hal.archives-ouvertes.fr

Alban Tiberghien, Philippe Merle, Lionel Seinturie...

claim paper

Read More »

100

Voted

ASM
2010
ASM

266views Computational Biology» more ASM 2010»

Development of a Synchronous Subset of AADL

15 years 6 months ago

Download www.diku.dk

Mamoun Filali-Amine, Julia L. Lawall

claim paper

Read More »

click to vote

ASM
2010
ASM

277views Computational Biology» more ASM 2010»

On an Extensible Rule-Based Prover for Event-B

16 years 15 days ago

Download eprints.ecs.soton.ac.uk

Issam Maamria, Michael Butler, Andrew Edmunds, Abd...

claim paper

Read More »

123

Voted

ASM
2010
ASM

246views Computational Biology» more ASM 2010»

A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers