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

15 years 6 months ago

Download tap.ethz.ch

Gordon Fraser, Franz Wotawa

claim paper

Read More »

Voted

DATE
2008
IEEE

123views Hardware» more DATE 2008»

Verification of Temporal Properties in Automotive Embedded Software

15 years 6 months ago

Download www.date-conference.com

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

claim paper

Read More »

Voted

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

15 years 5 months ago

Download www.fi.muni.cz

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

claim paper

Read More »

Voted

ICSE
2010
IEEE-ACM

124views Software Engineering» more ICSE 2010»

Online inference and enforcement of temporal properties

15 years 4 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers