The Library
New math-based analysis techniques for next-gen feature requirements
Tools
Chakrapani Rao, Arun and Dixit, Manoj G. (2010) New math-based analysis techniques for next-gen feature requirements. In: General Motors Fall 2010 Kettering Forum, Detroit, Michigan, USA, 20 Oct 2010. Published in: General Motors Fall 2010 Kettering Forum Proceedings
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
This conference poster presents formal analysis techniques for next generation vehicle software feature requirements.
Item Type: | Conference Item (Poster) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software T Technology > TK Electrical engineering. Electronics Nuclear engineering T Technology > TL Motor vehicles. Aeronautics. Astronautics |
||||||
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Journal or Publication Title: | General Motors Fall 2010 Kettering Forum Proceedings | ||||||
Official Date: | 17 September 2010 | ||||||
Dates: |
|
||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Conference Paper Type: | Poster | ||||||
Title of Event: | General Motors Fall 2010 Kettering Forum | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Detroit, Michigan, USA | ||||||
Date(s) of Event: | 20 Oct 2010 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |