Integrating Formal Verification and Simulation of Hybrid Systems: Rodin Multi-Simulation Plug-in
Integrating Formal Verification and Simulation of Hybrid Systems: Rodin Multi-Simulation Plug-in
Vitaly, Savicks
d1388e5e-83ae-4d8e-b0a1-e68988c2941a
2014
Vitaly, Savicks
d1388e5e-83ae-4d8e-b0a1-e68988c2941a
Vitaly, Savicks
(2014)
Integrating Formal Verification and Simulation of Hybrid Systems: Rodin Multi-Simulation Plug-in.
SIMULTECH.
Record type:
Conference or Workshop Item
(Other)
Text
Multisim.pdf
- Other
More information
Published date: 2014
Venue - Dates:
SIMULTECH, 2014-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 372194
URI: http://eprints.soton.ac.uk/id/eprint/372194
PURE UUID: 98a64d4a-b754-4359-bb80-2d9320807059
Catalogue record
Date deposited: 27 Nov 2014 08:17
Last modified: 14 Mar 2024 18:33
Export record
Contributors
Author:
Savicks Vitaly
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics