Developing Mode-Rich Satellite Software by Refinement in Event B
- Lookup NU author(s)
- Dr Alexei Iliasov
- Dr Elena Troubitsyna
- Professor Alexander Romanovsky
|
|
|
|
| Author(s) | | Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T |
| Editor(s) | | Kowalewski, S., Roveri, M. |
| Publication type | | Conference Proceedings (inc. Abstract) |
| Conference Name | | Formal Methods for Industrial Critical Systems: 15th International Workshop (FMICS) |
| Conference Location | | Antwerp, Belgium |
| Year of Conference | | 2010 |
| Date | | 20-21 September 2010 |
| Volume | | 6371 |
| Pages | | 50-66 |
| Series Title | | Lecture Notes in Computer Science |
| |
|
| ISBN | | 9783642158971 |
| |  |
|
|
|
| Full text is available for this publication: |
|
|
|
| Publisher | | Springer |
| URL | | http://dx.doi.org/10.1007/978-3-642-15898-8_4 |
| DOI | | 10.1007/978-3-642-15898-8_4 |
|
|
Actions | |   |
| Library holdings | | Search Newcastle University Library for this item |
