Search Sciweavers | Sciweavers

4340 search results - page 89 / 868

» Formal Methods and Cryptography

149

click to vote

FMICS
2009
Springer

104views Formal Methods» more FMICS 2009»

Preemption Abstraction

16 years 26 days ago

Download www.cs.ru.nl

Erik Schierboom, Alejandro Tamalet, Hendrik Tews, ...

claim paper

Read More »

125

click to vote

FMICS
2009
Springer

121views Formal Methods» more FMICS 2009»

Model-Based Testing of Electronic Passports

16 years 26 days ago

Download www.cs.ru.nl

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...

claim paper

Read More »

128

click to vote

IFM
2009
Springer

95views Formal Methods» more IFM 2009»

Partial Order Reduction for State/Event LTL

16 years 26 days ago

Download www.memics.cz

Nikola Benes, Lubos Brim, Ivana Cerná, Jiri...

claim paper

Read More »

126

click to vote

SBMF
2009
Springer

93views Formal Methods» more SBMF 2009»

Towards Safe Design of Synchronous Bus Protocols in Event-B

16 years 26 days ago

Download www-verimag.imag.fr

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

claim paper

Read More »

145

click to vote

MEMOCODE
2008
IEEE

107views Formal Methods» more MEMOCODE 2008»

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

16 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers