Search Sciweavers | Sciweavers

1678 search results - page 1 / 336

» An ASM Specification of C

101

click to vote

ASM
2004
ASM

99views Computational Biology» more ASM 2004»

An ASM Specification of C# Threads and the .NET Memory Model

15 years 7 months ago

Download www.di.unipi.it

Robert F. Stärk, Egon Börger

claim paper

Read More »

click to vote

ASM
2004
ASM

75views Computational Biology» more ASM 2004»

Specification and Implementation Problems for C#

15 years 8 months ago

Download www.iis.nsk.su

Nicu G. Fruja

claim paper

Read More »

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 »

click to vote

ASM
2004
ASM

91views Computational Biology» more ASM 2004»

Specification and Validation of the Business Process Execution Language for Web Services

15 years 8 months ago

Download www.cs.sfu.ca

Roozbeh Farahbod, Uwe Glässer, Mona Vajiholla...

claim paper

Read More »

108

click to vote

ASM
2010
ASM

257views Computational Biology» more ASM 2010»

Formal Analysis in Model Management: Exploiting the Power of CZT

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers