e-Science logo Nesc logo
About NeSC
e-Science Institute
e-Science Hub
e-Science Events
Presentations & Lectures
Technical Papers
Global Grid Links
UK e-Science Centres
UK e-Science Teams
Career Opportunities
Bibliographic Database


Publications ordered by Year. (6 in total)

2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1991 1990 1989 1987 1984 1983 1982 1981


A Proof of Incorrectness using LP: the Editing Problem from the Therac-25

High Integrity Systems Journal, Volume 1, Number 1
[More Details]

DILL: Specifying Digital Logic in LOTOS

Proceedings of Formal Description Techniques VI
[More Details]

Modelling ODP Viewpoints

Proceedings of Workshop on Precise Behavioural Specifications in Object-Oriented Information Modelling
[More Details]

On the Design of Side-Stick Controllers in Fly-By-Wire Aircraft

ACM Applied Computing Review , Volume 2, Number 1
[More Details]

The Story of the Therac-25 in LOTOS

High Integrity Systems Journal, Volume 1, Number 1
[More Details]

Verification Techniques for LOTOS

Proceedings of Formal Methods Europe '94, Lecture Notes in Computer Science, Volume 873
[More Details]


Last Updated: 22 Jun 12 11:02
This is an archived website, preserved and hosted by the School of Physics and Astronomy at the University of Edinburgh. The School of Physics and Astronomy takes no responsibility for the content, accuracy or freshness of this website. Please email webmaster [at] ph [dot] ed [dot] ac [dot] uk for enquiries about this archive.