Developing mode-rich satellite software by refinement in Event-B
| Autor: | Iliasov, Alexei, Troubitsyna, Elena, Laibinis, Linas, Romanovsky, Alexander, Varpaaniemi, Kimmo, Ilic, Dubravka, Latvala, Timo |
|---|---|
| Zdroj: | In Science of Computer Programming 1 July 2013 78(7):884-905 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect