Search Sciweavers | Sciweavers

8828 search results - page 124 / 1766

» Formal methods in practice

104

click to vote

SBMF
2009
Springer

93views Formal Methods» more SBMF 2009»

Towards Safe Design of Synchronous Bus Protocols in Event-B

15 years 10 months ago

Download www-verimag.imag.fr

Ricardo Bedin França, Leandro Buss Becker, ...

claim paper

Read More »

119

click to vote

MEMOCODE
2008
IEEE

107views Formal Methods» more MEMOCODE 2008»

H.264 Decoder: A Case Study in Multiple Design Points

15 years 10 months ago

Download people.csail.mit.edu

Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind...

claim paper

Read More »

133

click to vote

SAS
1999
Springer

107views Formal Methods» more SAS 1999»

Abstract Interpretation of Mobile Ambients

15 years 8 months ago

Download www-i2.informatik.rwth-aachen.de

René Rydhof Hansen, Jacob Grydholt Jensen, ...

claim paper

Read More »

click to vote

AFP
1998
Springer

98views Formal Methods» more AFP 1998»

Generic Programming: An Introduction

15 years 8 months ago

Download www.itee.uq.edu.au

Roland Carl Backhouse, Patrik Jansson, Johan Jeuri...

claim paper

Read More »

147

click to vote

FTRTFT
1998
Springer

123views Formal Methods» more FTRTFT 1998»

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers