Systematic testing for control applications

Majumdar, Rupak; Saha, Indranil; Wang, Zilong

doi:10.1109/MEMCOD.2010.5558629

Local TagsRelease HistoryDetailsSummary

Systematic testing for control applications

Majumdar, R., Saha, I., & Wang, Z. (2010). Systematic testing for control applications. In 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE) (pp. 1-10). Piscataway, NJ: IEEE.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8BAF-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8BB0-C

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Majumdar, Rupak¹, Author
Saha, Indranil, Author
Wang, Zilong¹, Author

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

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2010

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 533127
DOI: 10.1109/MEMCOD.2010.5558629
URI: http://dx.doi.org/10.1109/MEMCOD.2010.5558629

Degree: -

Event

show

hide

Title: 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE)

Place of Event: Grenoble

Start-/End Date: 2010-07-26 - 2010-07-28

Legal Case

show

Project information

show

Source 1

show

hide

Title: 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE)

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: Piscataway, NJ : IEEE

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 1 - 10 Identifier: ISBN: 978-1-4244-7885-9