Publication Details
Title: Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification, August 9-10, 1990
Author: P. B. Ladkin and F. H. Vogt
Group: ICSI Technical Reports
Date: November 1990
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-90-060.pdf
Overview:
This report contains papers presented by participants at the workshop, with an introduction, a participant list, a synopsis of the workshop, and a short summary of the problem session discussion. The workshop brought together practitioners with different interests in temporal and real-time specification, from simulation, testing and verification to theoretical issues such as relative strengths of theories. The papers concern interval logic, theories of intervals, real-time temporal logic and automata, a real-time systems simulation language, and a causality problem in robot motion planning.
Bibliographic Information:
ICSI Technical Report TR-90-060
Bibliographic Reference:
P. B. Ladkin and F. H. Vogt. Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification, August 9-10, 1990. ICSI Technical Report TR-90-060, November 1990
Author: P. B. Ladkin and F. H. Vogt
Group: ICSI Technical Reports
Date: November 1990
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-90-060.pdf
Overview:
This report contains papers presented by participants at the workshop, with an introduction, a participant list, a synopsis of the workshop, and a short summary of the problem session discussion. The workshop brought together practitioners with different interests in temporal and real-time specification, from simulation, testing and verification to theoretical issues such as relative strengths of theories. The papers concern interval logic, theories of intervals, real-time temporal logic and automata, a real-time systems simulation language, and a causality problem in robot motion planning.
Bibliographic Information:
ICSI Technical Report TR-90-060
Bibliographic Reference:
P. B. Ladkin and F. H. Vogt. Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification, August 9-10, 1990. ICSI Technical Report TR-90-060, November 1990