Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Fernando Dotti.

Newcastle AuthorsTitleYearFull text
Dr Fernando Dotti
Dr Alexei Iliasov
Emerson Ribeiro De Mello
Professor Alexander Romanovsky
Modal Systems: Specification, Refinement and Realisation2009
Dr Fernando Dotti
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modal systems: Specification, refinement and realisation2009
Dr Fernando Dotti
Dr Alexei Iliasov
Professor Alexander Romanovsky
Modal Systems: Specification, Refinement and Realisation2009
Dr Alexei Iliasov
Dr Fernando Dotti
Professor Alexander Romanovsky
Structuring Specifications with Modes2009
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Fernando Dotti
Structuring Specifications with Modes2009