Search Sciweavers | Sciweavers

1261 search results - page 12 / 253

» A Hierarchy of Temporal Properties

121

click to vote

TAP
2009
Springer

125views Hardware» more TAP 2009»

Complementary Criteria for Testing Temporal Logic Properties

16 years 16 days ago

Download tap.ethz.ch

Gordon Fraser, Franz Wotawa

claim paper

Read More »

144

click to vote

DATE
2008
IEEE

123views Hardware» more DATE 2008»

Verification of Temporal Properties in Automotive Embedded Software

16 years 14 days ago

Download www.date-conference.com

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

claim paper

Read More »

117

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

15 years 11 months ago

Download www.fi.muni.cz

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

claim paper

Read More »

108

click to vote

ICSE
2010
IEEE-ACM

124views Software Engineering» more ICSE 2010»

Online inference and enforcement of temporal properties

15 years 10 months ago

Download www.cs.ucdavis.edu

Mark Gabel, Zhendong Su

claim paper

Read More »

140

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers