A formal co-simulation approach for wireless sensor network development


Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2014) A formal co-simulation approach for wireless sensor network development Electronic Communications of the EASST, 70, pp. 1-15.

Download

[img] PDF Adisak_AVoCS2014_postprint_201114.pdf - Accepted Manuscript
Restricted to Registered users only
Available under License Other.

Download (639kB)

Description/Abstract

Error parsing XML in render_xhtml_field: :1: parser error : EntityRef: expecting ';'
vel abstraction, separation of concerns, strong verification and validation (V&V
                                                                                ^

Item Type: Article
ISSNs: 1863-2122 (print)
Venue - Dates: Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVocS 2014), 2014-01-01
Related URLs:
Keywords: formal modelling and analysis, Event-B, proof, simulation, wireless sensor network, co-simulation
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronic & Software Systems
ePrint ID: 369791
Date :
Date Event
2014Published
Date Deposited: 12 Nov 2014 11:27
Last Modified: 22 Feb 2017 11:33
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/369791

Actions (login required)

View Item View Item