๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A symbolic model checking approach to verifying satellite onboard software

โœ Scribed by Gan, Xiang; Dubrovin, Jori; Heljanko, Keijo

Book ID
121776774
Publisher
Elsevier Science
Year
2014
Tongue
English
Weight
909 KB
Volume
82
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[IEEE Comput. Soc International Conferen
[IEEE Comput. Soc International Conference on Computer Design. VLSI in Computers and Processors - Austin, TX, USA (5-7 Oct. 1998)] Proceedings International Conference on Computer Design. VLSI in Computers and Processors (Cat. No.98CB36273) - An approach to verify a large scale system-on-a-chip using symbolic model checking
โœ Takayama, K.; Satoh, T.; Nakata, T.; Hirose, F. ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› IEEE Comput. Soc ๐ŸŒ English โš– 91 KB