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

Formal requirements analysis of an avionics control system

โœ Scribed by Dutertre, B.; Stavridou, V.


Book ID
117872179
Publisher
IEEE
Year
1997
Tongue
English
Weight
214 KB
Volume
23
Category
Article
ISSN
0098-5589

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Formal Analysis of Memory Requirements
โœ Walter Hussak; John A. Keane ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 102 KB