Hdl Handle:
http://hdl.handle.net/10149/110730
Title:
The semantics and tool support of OZTA
Book Title:
Formal Methods and Software Engineering
Authors:
Dong, J. S. (Jin Song); Hao, P. (Ping); Qin, S. (Shengchao); Zhang, X. (Xian)
Editors:
Lau, K-K. (Kung-Kiu); Banach, R. (Richard)
Affiliation:
University of Durham
Citation:
Dong, J. S. et. al. (2005) 'The semantics and tool support of OZTA', 7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, in Lau, K-K. and Banach, R. (eds) Formal Methods and Software Engineering, Lecture notes in computer science, Vol. 3785. Heidelberg: Springer Verlag, pp.66-80.
Publisher:
Springer-Verlag
Conference:
7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005
Issue Date:
2005
URI:
http://hdl.handle.net/10149/110730
DOI:
10.1007/11576280_6
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
semantics; timed patterns; tool and verification; object-Z; timed automata
Series/Report no.:
Lecture notes in computer science; 3785
ISSN:
0302-9743
ISBN:
9783540297970
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:
0 [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.authorZhang, X. (Xian)en
dc.contributor.editorLau, K-K. (Kung-Kiu)en
dc.contributor.editorBanach, R. (Richard)en
dc.date.accessioned2010-09-06T14:05:47Z-
dc.date.available2010-09-06T14:05:47Z-
dc.date.issued2005-
dc.identifier.isbn9783540297970-
dc.identifier.issn0302-9743-
dc.identifier.doi10.1007/11576280_6-
dc.identifier.urihttp://hdl.handle.net/10149/110730-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries3785en
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.subjectsemanticsen
dc.subjecttimed patternsen
dc.subjecttool and verificationen
dc.subjectobject-Zen
dc.subjecttimed automataen
dc.titleThe semantics and tool support of OZTAen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Durhamen
dc.title.bookFormal Methods and Software Engineeringen
dc.identifier.conference7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005en
ref.citationcount0 [Scopus, 06/09/2010]en
or.citation.harvardDong, J. S. et. al. (2005) 'The semantics and tool support of OZTA', 7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, in Lau, K-K. and Banach, R. (eds) Formal Methods and Software Engineering, Lecture notes in computer science, Vol. 3785. Heidelberg: Springer Verlag, pp.66-80.-
prism.startingPage66-
prism.endingPage80-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.