Search Sciweavers | Sciweavers

4036 search results - page 35 / 808

» Formal Methods

click to vote

FM
2001
Springer

101views Formal Methods» more FM 2001»

Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System

15 years 6 months ago

Download cs.haifa.ac.il

Laurent Arditi, Hédi Boufaïed, Arnaud ...

claim paper

Read More »

click to vote

FM
1999
Springer

114views Formal Methods» more FM 1999»

Bunches for Object-Oriented, Concurrent, and Real-Time Specification

15 years 6 months ago

Download www.cs.toronto.edu

Richard F. Paige, Eric C. R. Hehner

claim paper

Read More »

click to vote

IFL
1999
Springer

97views Formal Methods» more IFL 1999»

Haskell-Coloured Petri Nets

15 years 6 months ago

Download www.isp.uni-luebeck.de

d abstract) Claus Reinke

Claus Reinke

claim paper

Read More »

click to vote

IFL
1999
Springer

82views Formal Methods» more IFL 1999»

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell

15 years 6 months ago

Download www.haskell.org

Simon L. Peyton Jones, Simon Marlow, Conal Elliott

claim paper

Read More »

click to vote

SAS
1999
Springer

113views Formal Methods» more SAS 1999»

Model-Checking: A Tutorial Introduction

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers