-
A symbolic model checking approach to verifying satellite onboard software
Gan, X., Dubrovin, J. & Heljanko, K., 2014, julkaisussa: Science of Computer Programming. 82, N/A, s. 44-55Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu
21 Sitaatiot (Scopus) -
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software
Gan, X., Dubrovin, J. & Heljanko, K., 2012, ESANN 20th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges, Belgium, April 25-27, 2012. s. 1-15Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu
Xiang Gan
- Tohtoriopiskelija, School of Science
Tutkimustuotoksia vuodessa