Search Sciweavers | Sciweavers

4340 search results - page 89 / 868

» Formal Methods and Cryptography

123

click to vote

FMICS
2009
Springer

104views Formal Methods» more FMICS 2009»

Preemption Abstraction

15 years 10 months ago

Download www.cs.ru.nl

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

claim paper

Read More »

100

click to vote

FMICS
2009
Springer

121views Formal Methods» more FMICS 2009»

Model-Based Testing of Electronic Passports

15 years 10 months ago

Download www.cs.ru.nl

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

claim paper

Read More »

107

click to vote

IFM
2009
Springer

95views Formal Methods» more IFM 2009»

Partial Order Reduction for State/Event LTL

15 years 10 months ago

Download www.memics.cz

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

claim paper

Read More »

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 »

115

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers