Please use this identifier to cite or link to this item: https://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)

268
checked on Apr 19, 2019

Download(s)

242
checked on Apr 19, 2019

Google ScholarTM

Check


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