A comparison of real-time formal specification languages

Evans, A.S. and Holton, D.R.W. and Lai, L.M. and Watson, P. (1997) A comparison of real-time formal specification languages. In: Duke, D.J. and Evans, A.S., eds. BCS-FACS Northern formal methods workshop. Electronic Workshops in Computer Science. Springer Verlag ISBN 3540761179. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Item Type: Conference or workshop item (Other)
Uncontrolled keywords: specification languages, real-time Computer software ; Software engineering ; Formal methods ; Computing science ; Computer ; BCS FACS
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 21 Aug 2009 12:22
Last Modified: 11 Jan 2010 18:37
Resource URI: http://kar.kent.ac.uk/id/eprint/21548 (The current URI for this page, for reference purposes)
  • Depositors only (login required):