Search Sciweavers | Sciweavers

13917 search results - page 70 / 2784

» Abstraction of Probabilistic Systems

108

click to vote

ASM
2005
ASM

116views Computational Biology» more ASM 2005»

Tools for System Validation with B Abstract Machines

15 years 10 months ago

Download rodin.cs.ncl.ac.uk

Michael J. Butler, Michael Leuschel, Colin F. Snoo...

claim paper

Read More »

click to vote

MFCS
2005
Springer

100views Theoretical Computer Science» more MFCS 2005»

Abstract Numeration Systems and Tilings

15 years 10 months ago

Download www.lirmm.fr

Valérie Berthé, Michel Rigo

claim paper

Read More »

108

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 10 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

100

Voted

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 10 months ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

124

click to vote

FC
2004
Springer

78views Cryptology» more FC 2004»

Timing Attacks in Low-Latency Mix Systems (Extended Abstract)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers