Sciweavers

20 search results - page 1 / 4

» iceccs 2007

8

ICECCS
2007
IEEE

72views Hardware» more ICECCS 2007»

Linking Object-Z with Spec#

13 years 10 months ago

Linking Object-Z with Spec#

Download www.dur.ac.uk

Shengchao Qin, Guanhua He

claim paper

Read More »

5

ICECCS
2007
IEEE

83views Hardware» more ICECCS 2007»

POSIX file store in Z/Eves: an experiment in the verified software repository

13 years 8 months ago

POSIX file store in Z/Eves: an experiment in the verified software repository

Download www-ti.informatik.uni-tuebingen.de

Leo Freitas, Zheng Fu, Jim Woodcock

claim paper

Read More »

8

ICECCS
2007
IEEE

87views Hardware» more ICECCS 2007»

The LearnLib in FMICS-jETI

13 years 10 months ago

The LearnLib in FMICS-jETI

Download jeti.cs.uni-dortmund.de

This paper explains

Tiziana Margaria, Harald Raffelt, Bernhard Steffen...

claim paper

Read More »

6

ICECCS
2007
IEEE

73views Hardware» more ICECCS 2007»

From PIMs to PSMs

13 years 10 months ago

From PIMs to PSMs

Download www.artist-embedded.org

Peter H. Feiler, Dionisio de Niz, Chris Raistrick,...

claim paper

Read More »

9

ICECCS
2007
IEEE

82views Hardware» more ICECCS 2007»

Formalising Flash Memory: First Steps

13 years 10 months ago

Formalising Flash Memory: First Steps

Download www.scss.tcd.ie

We present ﬁrst steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...

Andrew Butterfield, Jim Woodcock

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »