𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Experience with Applying Formal Methods to Protocol Specification and System Architecture

✍ Scribed by Mani Azimi; Ching-Tsun Chou; Akhilesh Kumar; Victor W. Lee; Phamndra K. Mannava; Seungjoon Park

Book ID
110429806
Publisher
Springer
Year
2003
Tongue
English
Weight
71 KB
Volume
22
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[IEEE Comput. Soc 2000 International Con
[IEEE Comput. Soc 2000 International Conference on Application-Specific Systems, Architectures, and Processors - Boston, MA, USA (10-12 July 2000)] Proceedings IEEE International Conference on Application-Specific Systems, Architectures, and Processors - Formal verification for microprocessors with extendable instruction set
✍ Sawitzki, S.; Spallek, R.G.; Schonherr, J.; Straube, B. πŸ“‚ Article πŸ“… 2000 πŸ› IEEE Comput. Soc βš– 184 KB
[IEEE 2010 21st IEEE International Confe
[IEEE 2010 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP) - Rennes, France (2010.07.7-2010.07.9)] ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors - A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework
✍ Kuang, Heng; Ormandjieva, Olga; Klasa, Stan; Bentahar, Jamal πŸ“‚ Article πŸ“… 2010 πŸ› IEEE βš– 278 KB