Automatic verification of control system implementations

Anta, Adolfo; Majumdar, Rupak; Saha, Indranil; Tabuada, Paulo

Local TagsRelease HistoryDetailsSummary

Automatic verification of control system implementations

Anta, A., Majumdar, R., Saha, I., & Tabuada, P. (2010). Automatic verification of control system implementations. In ESWEEK 2010 compilation proceedings (CASES, CODES+ISSS, & EMSOFT) (pp. 9-18). New York, NY: ACM.

Item is Released

show all

Basic

hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8BB1-A Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8BB2-8

Genre: Conference Paper

Files

show Files

Locators

show

Creators

hide

Creators:
Anta, Adolfo, Author
Majumdar, Rupak¹, Author
Saha, Indranil, Author
Tabuada, Paulo, Author

Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292

Content

show

Details

hide

Language(s): eng - English

Dates: Date issued: 2010

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 533133
URI: http://doi.acm.org/10.1145/1879021.1879024

Degree: -

Event

hide

Title: International Conference on Embedded Software (EMSOFT 2010)

Place of Event: Scottsdale, Arizona

Start-/End Date: 2010-10-24 - 2010-10-29

Legal Case

show

Project information

show

Source 1

hide

Title: ESWEEK 2010 compilation proceedings (CASES, CODES+ISSS, & EMSOFT)

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: CD-ROM Volume / Issue: - Sequence Number: - Start / End Page: 9 - 18 Identifier: ISBN: 978-1-60558-904-6