Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/13095
Title: Object-Z / TCOZ and Timed automata; Projection and integration
Authors: HAO PING
Keywords: Object-Z/TCOZ, Timed Automata, Projection, Integration
Issue Date: 8-Feb-2008
Source: HAO PING (2008-02-08). Object-Z / TCOZ and Timed automata; Projection and integration. ScholarBank@NUS Repository.
Abstract: This thesis investigates the possible links between the modelling techniques Object-Z(OZ)/Timed Communicating Object-Z(TCOZ) and Timed Automata(TA) and research how to lend the strengths of different techniques to each other or how to integrate the strengths of different techniques together so that they can be utilized coherently for building and verifying models of complex real-time systems in a unified framework.
URI: http://scholarbank.nus.edu.sg/handle/10635/13095
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
Thesis_Haoping.pdf1.49 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

246
checked on Dec 11, 2017

Download(s)

236
checked on Dec 11, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.