Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

DATE
2008
IEEE

favoriteEmaildiscussreport

123views Hardware» more DATE 2008»

Verification of Temporal Properties in Automotive Embedded Software

13 years 10 months ago

Verification of Temporal Properties in Automotive Embedded Software

Download www.date-conference.com

Djones Lettnin, Pradeep Kumar Nalla, Jürgen R

Real-time Traffic

DATE 2008 | Hardware |

claim paper

Related Content

» Semiformal verification of temporal properties in automotive hardware dependent software

» Unified Property Specification for HardwareSoftware CoVerification

» Realtime specification patterns

» Automotive Software Integration

» Dynamically inferring temporal properties

» The symmetry of the past and of the future biinfinite time in the verification of temporal...

» Receding horizon control for temporal logic specifications

» The design of a smart imaging core for automotive and consumer applications a case study

» Security protocols properties and their monitoring

Post Info
More Details (n/a)

Added	29 May 2010
Updated	29 May 2010
Type	Conference
Year	2008
Where	DATE
Authors	Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer

Comments (0)