Mapping statecharts to verilog for hardware/software co-specification

Hdl Handle:
http://hdl.handle.net/10149/110776
Title:
Mapping statecharts to verilog for hardware/software co-specification
Book Title:
FME 2003: Formal methods
Authors:
Qin, S. (Shengchao); Chin, W-N. (Wei-Ngan)
Editors:
Araki, K. (Keijiro); Gnesi, S. (Stefania); Mandrioli, D. (Dino)
Affiliation:
Singapore-MIT Alliance; National University of Singapore.
Citation:
Qin, S. and Chin, W-N. (2003) 'Mapping statecharts to verilog for hardware/software co-specification', International symposium of formal methods Europe Pisa, Italy, September 8-14, 2003, in Araki, K., Gnesi, S. and Mandrioli, D. (eds) FME 2003: Formal methods, Lecture notes in computer science, 2805. Heidelberg: springer-Verlag, pp.282-300.
Publisher:
Springer-Verlag
Conference:
International symposium of formal methods Europe Pisa, Italy, September 8-14, 2003
Issue Date:
2003
URI:
http://hdl.handle.net/10149/110776
DOI:
10.1007/978-3-540-45236-2_17
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
homomorphism; operational semantics; statecharts; Verilog
Series/Report no.:
Lecture notes in computer science; 2805
ISSN:
0302-9743
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/09/2010]
Citation Count:
0 [Scopus, 07/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorChin, W-N. (Wei-Ngan)en
dc.contributor.editorAraki, K. (Keijiro)en
dc.contributor.editorGnesi, S. (Stefania)en
dc.contributor.editorMandrioli, D. (Dino)en
dc.date.accessioned2010-09-07T09:25:20Z-
dc.date.available2010-09-07T09:25:20Z-
dc.date.issued2003-
dc.identifier.issn0302-9743-
dc.identifier.doi10.1007/978-3-540-45236-2_17-
dc.identifier.urihttp://hdl.handle.net/10149/110776-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries2805en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 07/09/2010]en
dc.subjecthomomorphismen
dc.subjectoperational semanticsen
dc.subjectstatechartsen
dc.subjectVerilogen
dc.titleMapping statecharts to verilog for hardware/software co-specificationen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentSingapore-MIT Alliance; National University of Singapore.en
dc.title.bookFME 2003: Formal methodsen
dc.identifier.conferenceInternational symposium of formal methods Europe Pisa, Italy, September 8-14, 2003en
ref.citationcount0 [Scopus, 07/09/2010]en
or.citation.harvardQin, S. and Chin, W-N. (2003) 'Mapping statecharts to verilog for hardware/software co-specification', International symposium of formal methods Europe Pisa, Italy, September 8-14, 2003, in Araki, K., Gnesi, S. and Mandrioli, D. (eds) FME 2003: Formal methods, Lecture notes in computer science, 2805. Heidelberg: springer-Verlag, pp.282-300.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.