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
Citation: 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)

264
checked on Dec 16, 2018

Download(s)

241
checked on Dec 16, 2018

Google ScholarTM

Check


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