The Library
On the need for a visual notation for ITL
Tools
Chakrapani Rao, Arun (1999) On the need for a visual notation for ITL. In: British Colloquium for Theoretical Computer Science 15, Keele, UK, 14-16 Apr 1999
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
The talk introduces the formal language, Interval Temporal Logic(ITL), discusses the 'lean approach' to formal methods, argues the need for a visual notation for ITL and presents such a visual notation. The talk concludes indicating directions I planned to take for subsequent work towards my PhD.
Item Type: | Conference Item (Speech) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software |
||||||
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Official Date: | 16 April 1999 | ||||||
Dates: |
|
||||||
Status: | Peer Reviewed | ||||||
Conference Paper Type: | Speech | ||||||
Title of Event: | British Colloquium for Theoretical Computer Science 15 | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Keele, UK | ||||||
Date(s) of Event: | 14-16 Apr 1999 | ||||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |