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

Application of Top-Down Principles to Digital System Design

โœ Scribed by Comer, David J.

Book ID
114615700
Publisher
IEEE
Year
1983
Tongue
English
Weight
609 KB
Volume
26
Category
Article
ISSN
0018-9359

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