Open menu
View all research projects
Research project

Advanced Analysis of Ocean Bottom Seismic Data from the Blackrock Site

Staff

Lead researcher

Professor Tim Minshull

Professor in Ocean & Earth Science

Research interests

  • Continental breakup and the onset of seafloor spreading
  • Methane hydrate beneath the seafloor and its role in the Earth system
  • Exploration geophysics: seismic and electromagnetic imaging

Research outputs

Integrating Formal Verification and Simulation of Hybrid Systems: Rodin Multi-Simulation Plug-in
Savicks Vitaly
, 2014
Type: conference
Code Generation – Tool Developments
A. Edmunds
, 2014
Type: conference
Templates for Event-B Code Generation
Andrew Edmunds
, 2014
Type: conference
Co-simulation environment for Rodin: landing gear case study
Vitaly Savicks,
Michael Butler,
& John Colley
, 2014
DOI: 10.1007/978-3-319-07512-9_11
Type: conference
Rodin multi-simulation plug-in
Vitaly Savicks,
Michael Butler,
John Colley,
& Jens Bendisposto
, 2014
Type: conference
Back
to top