Search Sciweavers | Sciweavers

1054 search results - page 22 / 211

» A Formalization of the Turing Test

click to vote

IPL
2006

117views more IPL 2006»

P systems without multiplicities of symbol-objects

14 years 12 months ago

Download combio.abo.fi

In this paper we investigate P systems whose compartments contain sets of symbolobjects rather than multisets of objects, as it is common in membrane computing. If the number of m...

Artiom Alhazov

claim paper

Read More »

click to vote

CAV
2007
Springer

123views Hardware» more CAV 2007»

Test Coverage for Continuous and Hybrid Systems

15 years 6 months ago

Download www-verimag.imag.fr

Tarik Nahhal, Thao Dang

claim paper

Read More »

click to vote

FM
2005
Springer

93views Formal Methods» more FM 2005»

Timed Testing with TorX

15 years 5 months ago

Download www.win.tue.nl

Henrik C. Bohnenkamp, Axel Belinfante

claim paper

Read More »

click to vote

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Real-Time Testing with Timed Automata Testers and Coverage Criteria

15 years 5 months ago

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

click to vote

ISOLA
2004
Springer

92views Formal Methods» more ISOLA 2004»

The Identification of registers in RTL Structures for the Test Application

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers