Real-time program refinement using auxiliary variables

Hayes, I. J. (2000). Real-time program refinement using auxiliary variables. In: M. Joseph, Proceedings 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: FTRTFT 2000. Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, Pune, India, (170-184). 20-22 September 2000.

Author Hayes, I. J.
Title of paper Real-time program refinement using auxiliary variables
Conference name Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium
Conference location Pune, India
Conference dates 20-22 September 2000
Proceedings title Proceedings 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: FTRTFT 2000   Check publisher's open access policy
Journal name Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings   Check publisher's open access policy
Place of Publication Berline
Publisher Springer
Publication Year 2000
Sub-type Fully published paper
ISBN 3540410554
ISSN 0302-9743
Editor M. Joseph
Volume 1926
Start page 170
End page 184
Total pages 15
Collection year 2000
Language eng
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 7 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 06 Jun 2008, 13:56:25 EST