Search Sciweavers | Sciweavers

1261 search results - page 12 / 253

» A Hierarchy of Temporal Properties

click to vote

TAP
2009
Springer

125views Hardware» more TAP 2009»

Complementary Criteria for Testing Temporal Logic Properties

14 years 3 months ago

Download tap.ethz.ch

Gordon Fraser, Franz Wotawa

claim paper

Read More »

click to vote

DATE
2008
IEEE

123views Hardware» more DATE 2008»

Verification of Temporal Properties in Automotive Embedded Software

14 years 3 months ago

Download www.date-conference.com

Djones Lettnin, Pradeep Kumar Nalla, Jürgen R...

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 2 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 1 months ago

Download www.cs.ucdavis.edu

Mark Gabel, Zhendong Su

claim paper

Read More »

click to vote

DSRT
2004
IEEE

112views Modeling and Simulation» more DSRT 2004»

Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata

14 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers