• W
  • WIFT
  • 1995
  • 1st Workshop on Industrial-Strength Formal Specification Techniques
Advanced Search 
1st Workshop on Industrial-Strength Formal Specification Techniques
Boca Raton, Florida
April 05-April 08
ISBN: 0-8186-7005-3
Table of Contents
Session 1
S.P. Miller, Collins Commercial Avionics, Rockwell Int. Corp., Cedar Rapids, IA, USA
M. Srivas, Collins Commercial Avionics, Rockwell Int. Corp., Cedar Rapids, IA, USA
pp. 2
L.M. Barroca, Dept. of Comput., Open Univ., Milton Keynes, UK
J.S. Fitzgerald, Dept. of Comput., Open Univ., Milton Keynes, UK
L. Spencer, Dept. of Comput., Open Univ., Milton Keynes, UK
pp. 17
D. Hamilton, Loral SIS, Houston, TX, USA
R. Covington, Loral SIS, Houston, TX, USA
J. Kelly, Loral SIS, Houston, TX, USA
C. Kirkwood, Dept. of Comput. Sci., Glasgow Univ., UK
M. Thomas, Dept. of Comput. Sci., Glasgow Univ., UK
A.R. Flora-Holmquist, Dept. of Core Switching Dev., AT&T Bell Labs., Naperville, IL, USA
M.G. Staskauskas, Dept. of Core Switching Dev., AT&T Bell Labs., Naperville, IL, USA
S.P. Miller, Collins Commercial Avionics, Rockwell Int. Corp., Cedar Rapids, IA, USA
M. Srivas, Collins Commercial Avionics, Rockwell Int. Corp., Cedar Rapids, IA, USA
G. Cleland, Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
D. MacKenzie, Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
pp. 30
Session 2
G. Cleland, Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
D. MacKenzie, Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
pp. 46
C. Minkowitz, Sch. of Comput., Staffordshire Univ., Stafford, UK
D. Rann, Sch. of Comput., Staffordshire Univ., Stafford, UK
J.H. Turner, Sch. of Comput., Staffordshire Univ., Stafford, UK
pp. 61
J. Hagar, Martin Marietta Astronaut. Co, Denver, CO, USA
J.M. Bieman, Martin Marietta Astronaut. Co, Denver, CO, USA
pp. 76
Session 3
V. Hartonas-Garmhausen, Dept. of Eng. & Public Policy, Carnegie Mellon Univ., Pittsburgh, PA, USA
T. Kurfess, Dept. of Eng. & Public Policy, Carnegie Mellon Univ., Pittsburgh, PA, USA
E.M. Clarke, Dept. of Eng. & Public Policy, Carnegie Mellon Univ., Pittsburgh, PA, USA
D. Long, Dept. of Eng. & Public Policy, Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 88
S. Campos, Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
E. Clarke, Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
W. Marrero, Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
M. Minea, Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 97
A.R. Flora-Holmquist, Dept. of Core Switching Dev., AT&T Bell Labs., Naperville, IL, USA
M.G. Staskauskas, Dept. of Core Switching Dev., AT&T Bell Labs., Naperville, IL, USA
pp. 122
Session 4
L.J. Jagadeesan, Dept. of Software Production Res., AT&T Bell Labs., Naperville, IL, USA
C. Puchol, Dept. of Software Production Res., AT&T Bell Labs., Naperville, IL, USA
J.E. Von Olnhausen, Dept. of Software Production Res., AT&T Bell Labs., Naperville, IL, USA
pp. 132
M. Ingleby, British Rail Res., Derby, UK
D.J. Mee, British Rail Res., Derby, UK
pp. 146
C. Kirkwood, Dept. of Comput. Sci., Glasgow Univ., UK
M. Thomas, Dept. of Comput. Sci., Glasgow Univ., UK
pp. 159
Usage of this product signifies your acceptance of the Terms of Use.