Object-Z / TCOZ and Timed automata; Projection and integration
Ph.D
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2010
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/13095 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Language: | English |
id |
sg-nus-scholar.10635-13095 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-130952017-10-21T09:35:51Z Object-Z / TCOZ and Timed automata; Projection and integration HAO PING COMPUTER SCIENCE DONG JIN SONG Object-Z/TCOZ, Timed Automata, Projection, Integration Ph.D DOCTOR OF PHILOSOPHY 2010-04-08T10:29:53Z 2010-04-08T10:29:53Z 2008-02-08 Thesis HAO PING (2008-02-08). Object-Z / TCOZ and Timed automata; Projection and integration. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/13095 NOT_IN_WOS en |
institution |
National University of Singapore |
building |
NUS Library |
country |
Singapore |
collection |
ScholarBank@NUS |
language |
English |
topic |
Object-Z/TCOZ, Timed Automata, Projection, Integration |
spellingShingle |
Object-Z/TCOZ, Timed Automata, Projection, Integration HAO PING Object-Z / TCOZ and Timed automata; Projection and integration |
description |
Ph.D |
author2 |
COMPUTER SCIENCE |
author_facet |
COMPUTER SCIENCE HAO PING |
format |
Theses and Dissertations |
author |
HAO PING |
author_sort |
HAO PING |
title |
Object-Z / TCOZ and Timed automata; Projection and integration |
title_short |
Object-Z / TCOZ and Timed automata; Projection and integration |
title_full |
Object-Z / TCOZ and Timed automata; Projection and integration |
title_fullStr |
Object-Z / TCOZ and Timed automata; Projection and integration |
title_full_unstemmed |
Object-Z / TCOZ and Timed automata; Projection and integration |
title_sort |
object-z / tcoz and timed automata; projection and integration |
publishDate |
2010 |
url |
http://scholarbank.nus.edu.sg/handle/10635/13095 |
_version_ |
1681078799093989376 |