The Library
Interval temporal logic and tempura for the formal specification of real-time and safety-critical systems
Tools
Chakrapani Rao, Arun (1998) Interval temporal logic and tempura for the formal specification of real-time and safety-critical systems. In: Computer Science Postgraduate Conference, Leicester, UK, 12 Apr 1998. Published in: Proceedings of the Computer Science Postgraduate Conference
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
This conference presentation covers details on formal specification languages, ITL and its executable subset Tempura, for application to real-time safety-critical systems.
Item Type: | Conference Item (Speech) | ||||||
---|---|---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software T Technology > TK Electrical engineering. Electronics Nuclear engineering |
||||||
Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||||
Journal or Publication Title: | Proceedings of the Computer Science Postgraduate Conference | ||||||
Official Date: | 21 April 1998 | ||||||
Dates: |
|
||||||
Status: | Peer Reviewed | ||||||
Conference Paper Type: | Speech | ||||||
Title of Event: | Computer Science Postgraduate Conference | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Leicester, UK | ||||||
Date(s) of Event: | 12 Apr 1998 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |