Work

A symbolic model checking approach to verifying satellite onboard software

Year: 2013
Type: article
Institution: Aalto University
Language: English
Open Access status: bronze
Funder: Tekes
OpenAlex ID: W2043623772
FWCI: 4.586
Cites: 31
Cited by: 32
Related to: 10