Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by David Ebo Adjepon-Yamoah.

Newcastle AuthorsTitleYearFull text
Dr Alexei Iliasov
Dr Paulius Stankaitis
David Ebo Adjepon-Yamoah
Emeritus Professor Alexander Romanovsky
Rodin Platform Why3 Plug-In2016
David Ebo Adjepon-Yamoah
Emeritus Professor Alexander Romanovsky
Dr Alexei Iliasov
A Reactive Architecture for Cloud-Based System Engineering2015
Dr Alexei Iliasov
David Ebo Adjepon-Yamoah
Paulius Stankaitis
Emeritus Professor Alexander Romanovsky
Putting Provers on the Cloud2015
Dr Alexei Iliasov
Dr Elena Troubitsyna
David Ebo Adjepon-Yamoah
Emeritus Professor Alexander Romanovsky
Refinement-based Approach to Co-engineering Requirements and Formal Models2015