𝔖 Bobbio Scriptorium

✦ LIBER ✦

Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design

✍ Scribed by Robert J. Hall

Book ID: 110347950
Publisher: Springer US
Year: 2002
Tongue: English
Weight: 195 KB
Volume: 9
Category: Article
ISSN: 0928-8910
DOI: 10.1023/a:1016372507161

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press 1989 IEEE Inter

[IEEE Comput. Soc. Press 1989 IEEE International Conference on Computer Design: VLSI in Computers and Processors - Cambridge, MA, USA (2-4 Oct. 1989)] Proceedings 1989 IEEE International Conference on Computer Design: VLSI in Computers and Processors - FOCUS: an experimental environment for validation of fault-tolerant systems-case study of a jet-engine controller

✍ Choi, G.; Iyer, R.; Carreno, V. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press ⚖ 345 KB