✦ LIBER ✦

191 Top-down design of embedded real-time AI systems: J. Hooman, pp 453–458

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 214 KB
Volume: 1
Category: Article
ISSN: 0967-0661
DOI: 10.1016/0967-0661(93)90210-i

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Top-down design of embedded real-time AI

Top-down design of embedded real-time AI systems

✍ J. Hooman 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 568 KB

A formal method is proposed for the specification and verification of embedded real-time systems. We consider distributed systems in whichparallel processes communicate by sending messages along synchronous or asynchronous channels. To verify that a program satisfies a specification, a compositional