Proceedings third international symposium on theoretical aspects of software engineering

Hdl Handle:
http://hdl.handle.net/10149/110658
Title:
Proceedings third international symposium on theoretical aspects of software engineering
Editors:
Chin, W-N. (Wei-Ngan); Qin, S. (Shengchao)
Citation:
Chin, W-N. and Qin, S. (eds) (2009) Theoretical aspects of software engineering, Third international symposium on theoretical aspects of software engineering, Tianjin, China, July 29-31, 2009. California: IEEE.
Publisher:
IEEE
Conference:
Third international symposium on theoretical aspects of software engineering, Tianjin, China, July 29-31, 2009
Issue Date:
2009
URI:
http://hdl.handle.net/10149/110658
Additional Links:
http://ieeexplore.ieee.org/xpl/tocresult.jsp?reload=true&isnumber=5198470
Type:
Book; Meetings and Proceedings
Language:
en
Keywords:
software engineering; real-time and embedded systems; semantics; model checking; specifiation and security; software testing; software models; verification and concurrency
ISBN:
9780769537573

Full metadata record

DC FieldValue Language
dc.contributor.editorChin, W-N. (Wei-Ngan)en
dc.contributor.editorQin, S. (Shengchao)en
dc.date.accessioned2010-09-03T13:29:21Z-
dc.date.available2010-09-03T13:29:21Z-
dc.date.issued2009-
dc.identifier.isbn9780769537573-
dc.identifier.urihttp://hdl.handle.net/10149/110658-
dc.language.isoenen
dc.publisherIEEEen
dc.relation.urlhttp://ieeexplore.ieee.org/xpl/tocresult.jsp?reload=true&isnumber=5198470en
dc.subjectsoftware engineeringen
dc.subjectreal-time and embedded systemsen
dc.subjectsemanticsen
dc.subjectmodel checkingen
dc.subjectspecifiation and securityen
dc.subjectsoftware testingen
dc.subjectsoftware modelsen
dc.subjectverification and concurrencyen
dc.titleProceedings third international symposium on theoretical aspects of software engineeringen
dc.typeBooken
dc.typeMeetings and Proceedingsen
dc.identifier.conferenceThird international symposium on theoretical aspects of software engineering, Tianjin, China, July 29-31, 2009en
or.citation.harvardChin, W-N. and Qin, S. (eds) (2009) Theoretical aspects of software engineering, Third international symposium on theoretical aspects of software engineering, Tianjin, China, July 29-31, 2009. California: IEEE.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.