A visual framework for formal systems development using interval temporal logic.

Files

A_visual_framework_for_formal_systems_development_using_interval_temporal_logic.pdf (8.09 MB)

Date

2002

Authors

Chakrapani Rao, Arun

Advisors

Journal Title

Journal ISSN

ISSN

DOI

Volume Title

Publisher

De Montfort University

Type

Thesis or dissertation

Peer reviewed

Abstract

Description

Keywords

Citation

URI

http://hdl.handle.net/2086/13288

Rights

Research Institute

Collections

PhD