Timing diagrams add Requirements Engineering capability to Event-B Formal Development


Joochim, Tossaporn (2008) Timing diagrams add Requirements Engineering capability to Event-B Formal Development s.n.

Download

[img] PDF March_3_08.pdf - Other
Download (271kB)
Item Type: Monograph (Project Report)
Organisations: Electronics & Computer Science
ePrint ID: 266732
Date :
Date Event
3 March 2008Accepted/In Press
Date Deposited: 01 Oct 2008 12:45
Last Modified: 17 Apr 2017 18:59
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266732

Actions (login required)

View Item View Item