Home
Browse
Search
Latest additions
Policies
FAQ
About Open Access
Browse by Author
Browse by Year
Browsing publications by
Dr Elena Troubitsyna
Newcastle Authors
Title
Year
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing mode-rich satellite software by refinement in Event-B
2013
Dr Elena Troubitsyna
Dr Alexei Iliasov
Professor Alexander Romanovsky
Formal Approach to Ensuring Interoperability of Mobile Agents
2012
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Derivation of a Distributed Program in Event B
2011
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Formal Derivation of a Distributed Program in Event B
2011
Ilya Lopatkin
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Elena Troubitsyna
Patterns for Representing FMEA in Formal Specification of Control Systems
2011
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing Mode-Rich Satellite Software by Refinement in Event B
2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Developing Mode-Rich Satellite Software by Refinement in Event B
2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation
2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Patterns for Refinement Automation
2010
Dr Alexei Iliasov
Dr Elena Troubitsyna
Professor Alexander Romanovsky
Supporting Reuse in Event B Development: Modularisation Approach
2010
1
2
3
