Hdl Handle:
http://hdl.handle.net/10149/110743
Title:
Timed patterns: TCOZ to timed automata
Book Title:
Formal methods and software engineering
Authors:
Dong, J. S. (Jin Song); Hao, P. (Ping); Qin, S. (Shengchao); Sun, J. (Jun); Yi, W. (Wang)
Editors:
Davies, J. (Jim); Schulte, W. (Wolfram); Barnett, M. (Mike)
Affiliation:
National University of Singapore
Citation:
Dong, J. S. et. al. (2004) 'Timed patterns: TCOZ to timed automata', 6th international conference on formal engineering methods, Seattle, WA, November 8-12 2004, in Davies, J., Schulte, W. and Barnett, M. (eds) Formal methods and software engineering, Lecture Notes in Computer Science, Vol. 3308. Heidelerg: Springer-Verlag, pp.483-498.
Publisher:
Springer-Verlag
Conference:
6th international conference on formal engineering methods, Seattle, WA, November 8-12 2004
Issue Date:
2004
URI:
http://hdl.handle.net/10149/110743
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
modeling and specification formalisms; Timed Communicating Object Z; logic-based modeling language; timed automata
Series/Report no.:
Lecture notes in computer science; 3308
ISSN:
0302-9743
ISBN:
3540238417
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]
Citation Count:
6 [Scopus, 06/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorDong, J. S. (Jin Song)en
dc.contributor.authorHao, P. (Ping)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorSun, J. (Jun)en
dc.contributor.authorYi, W. (Wang)en
dc.contributor.editorDavies, J. (Jim)en
dc.contributor.editorSchulte, W. (Wolfram)en
dc.contributor.editorBarnett, M. (Mike)en
dc.date.accessioned2010-09-06T15:19:00Z-
dc.date.available2010-09-06T15:19:00Z-
dc.date.issued2004-
dc.identifier.isbn3540238417-
dc.identifier.issn0302-9743-
dc.identifier.urihttp://hdl.handle.net/10149/110743-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries3308en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]en
dc.subjectmodeling and specification formalismsen
dc.subjectTimed Communicating Object Zen
dc.subjectlogic-based modeling languageen
dc.subjecttimed automataen
dc.titleTimed patterns: TCOZ to timed automataen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentNational University of Singaporeen
dc.title.bookFormal methods and software engineeringen
dc.identifier.conference6th international conference on formal engineering methods, Seattle, WA, November 8-12 2004en
ref.citationcount6 [Scopus, 06/09/2010]en
or.citation.harvardDong, J. S. et. al. (2004) 'Timed patterns: TCOZ to timed automata', 6th international conference on formal engineering methods, Seattle, WA, November 8-12 2004, in Davies, J., Schulte, W. and Barnett, M. (eds) Formal methods and software engineering, Lecture Notes in Computer Science, Vol. 3308. Heidelerg: Springer-Verlag, pp.483-498.-
prism.startingPage483-
prism.endingPage498-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.