Search Sciweavers | Sciweavers

1633 search results - page 37 / 327

» On the Verification of Temporal Properties

click to vote

TAP
2009
Springer

125views Hardware» more TAP 2009»

Complementary Criteria for Testing Temporal Logic Properties

14 years 2 months ago

Download tap.ethz.ch

Gordon Fraser, Franz Wotawa

claim paper

Read More »

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

14 years 1 months ago

Download www.fi.muni.cz

Tomás Brázdil, Antonín Kucera...

claim paper

Read More »

click to vote

ICSE
2010
IEEE-ACM

124views Software Engineering» more ICSE 2010»

Online inference and enforcement of temporal properties

14 years 11 days ago

Download www.cs.ucdavis.edu

Mark Gabel, Zhendong Su

claim paper

Read More »

click to vote

PODC
1990
ACM

84views Distributed and Parallel Com...» more PODC 1990»

A Hierarchy of Temporal Properties

13 years 11 months ago

Download historical.ncstrl.org

Zohar Manna, Amir Pnueli

claim paper

Read More »

click to vote

CHARME
2001
Springer

98views Hardware» more CHARME 2001»

Temporal Properties of Self-Timed Rings

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers