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.

Download

[img] PDF - Poster Presentation
Download (265Kb)
Item Type: Monograph (Technical Report)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 266732
Date Deposited: 01 Oct 2008 12:45
Last Modified: 27 Mar 2014 20:12
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266732

Actions (login required)

View Item View Item