Realizing live sequence charts in SystemVerilog

Hdl Handle:
http://hdl.handle.net/10149/110722
Title:
Realizing live sequence charts in SystemVerilog
Book Title:
TASE 2007: First joint IEEE/IFIP symposium on theoretical aspects of software engineering, proceedings
Authors:
Wang, H. H. (Hai); Sun, J. (Jun); Qin, S. (Shengchao); Dong, J. S. (Jin Song)
Affiliation:
Durham University
Citation:
Wang, H. H. et. al. (2007) 'Realizing live sequence charts in SystemVerilog', 1st IEEE/IFIP international symposium on theoretical aspects of softwave engineering, Shanghai, China, June 6-8, 2007, proceedings. California: IEEE, pp.379-388.
Publisher:
IEEE
Conference:
1st IEEE/IFIP international symposium on theoretical aspects of softwave engineering, Shanghai, China, June 6-8, 2007
Issue Date:
2007
URI:
http://hdl.handle.net/10149/110722
DOI:
10.1109/TASE.2007.41
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
scenario-based specifications; systems; embedded control system; sequence charts
ISBN:
9780769528564
Rights:
Author can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]
Citation Count:
0 [Web of Science, 06/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorWang, H. H. (Hai)en
dc.contributor.authorSun, J. (Jun)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorDong, J. S. (Jin Song)en
dc.date.accessioned2010-09-06T10:27:25Z-
dc.date.available2010-09-06T10:27:25Z-
dc.date.issued2007-
dc.identifier.isbn9780769528564-
dc.identifier.doi10.1109/TASE.2007.41-
dc.identifier.urihttp://hdl.handle.net/10149/110722-
dc.language.isoenen
dc.publisherIEEEen
dc.rightsAuthor can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]en
dc.subjectscenario-based specificationsen
dc.subjectsystemsen
dc.subjectembedded control systemen
dc.subjectsequence chartsen
dc.titleRealizing live sequence charts in SystemVerilogen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentDurham Universityen
dc.title.bookTASE 2007: First joint IEEE/IFIP symposium on theoretical aspects of software engineering, proceedingsen
dc.identifier.conference1st IEEE/IFIP international symposium on theoretical aspects of softwave engineering, Shanghai, China, June 6-8, 2007en
ref.citationcount0 [Web of Science, 06/09/2010]en
or.citation.harvardWang, H. H. et. al. (2007) 'Realizing live sequence charts in SystemVerilog', 1st IEEE/IFIP international symposium on theoretical aspects of softwave engineering, Shanghai, China, June 6-8, 2007, proceedings. California: IEEE, pp.379-388.-
prism.startingPage379-
prism.endingPage388-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.