Search Sciweavers | Sciweavers

13190 search results - page 221 / 2638

» Computer Vision

138

click to vote

ECEASST
2010

121views Computer Vision» more ECEASST 2010»

On Teaching Logic and Algebraic Specification

15 years 3 months ago

Download www8.cs.umu.se

ation and logic. The logic courses mainly provided a very abstract and

Till Mossakowski

claim paper

Read More »

136

click to vote

ECEASST
2010

102views Computer Vision» more ECEASST 2010»

Recognizable Graph Languages for Checking Invariants

15 years 3 months ago

Download www.ti.inf.uni-due.de

Christoph Blume, Harrie Jan Sander Bruggink, Barba...

claim paper

Read More »

114

click to vote

ECEASST
2010

98views Computer Vision» more ECEASST 2010»

Stochastic Graph Transformation with Regions

15 years 3 months ago

Download www.cs.le.ac.uk

Paolo Torrini, Reiko Heckel, István R&aacut...

claim paper

Read More »

118

click to vote

ECEASST
2010

120views Computer Vision» more ECEASST 2010»

Decidable Race Condition and Open Coregions in HMSC

15 years 3 months ago

Download www.fi.muni.cz

Vojtech Rehák, Petr Slovák, Jan Stre...

claim paper

Read More »

115

click to vote

ECEASST
2010

99views Computer Vision» more ECEASST 2010»

A Deductive Verification Platform for Cryptographic Software

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers