Conference proceeding
High confidence software for cyber-physical systems
Proceedings of the 2007 workshop on automating service quality, pp 1-3
06 Nov 2007
Abstract
Many new and planned cyber-physical systems (CPSs) are realized as distributed real-time and embedded (DRE) systems. Examples of DRE CPSs we are interested in include data computing centers and automated warehouse management systems.
Metrics
5 Record Views
7 citations in Scopus
Details
- Title
- High confidence software for cyber-physical systems
- Creators
- Sherif Abdelwahed - Mississippi State UniversityNagarajan Kandasamy - Drexel UniversityAniruddha Gokhale - Vanderbilt University
- Publication Details
- Proceedings of the 2007 workshop on automating service quality, pp 1-3
- Conference
- 2007 workshop on automating service quality
- Series
- WRASQ '07
- Publisher
- Association for Computing Machinery (ACM)
- Number of pages
- 1
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Electrical and Computer Engineering
- Scopus ID
- 2-s2.0-77954001743
- Other Identifier
- 991019173422304721