Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Paulius Stankaitis.

Newcastle AuthorsTitleYearFull text
Paulius Stankaitis
Dr Alexei Iliasov
Emeritus Professor Alexander Romanovsky
A Railway Simulation Suite For Modelling Advanced Railway Control Systems2017
Dr Alexei Iliasov
Paulius Stankaitis
Emeritus Professor Alexander Romanovsky
Proving Event-B models with reusable generic lemmas2016
Alessandro De Gennaro
Paulius Stankaitis
Efficient encoding of instructions of ARM Cortex M0+ processor2015
Dr Alexei Iliasov
David Ebo Adjepon-Yamoah
Paulius Stankaitis
Emeritus Professor Alexander Romanovsky
Putting Provers on the Cloud2015