Login / Signup

A Symbolic Model Checking Approach to Verifying Satellite Onboard Software.

Xiang GanJori DubrovinKeijo Heljanko
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases