✦ LIBER ✦

The Pandora system: An interactive system for the design of data communication protocols

✍ Scribed by Gerard J Holzmann

Publisher: Elsevier Science
Year: 1984
Weight: 678 KB
Volume: 8
Category: Article
ISSN: 0376-5075
DOI: 10.1016/0376-5075(84)90036-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An interactive microprocessor-based syst

An interactive microprocessor-based system for the processing of photoacoustic spectrometer data

✍ A.H.G. El-Dhaher; H.A. Kaouri; M.E. Abu-Zeid; M.S. Adili 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 847 KB

Interactive computer system for the func

Interactive computer system for the functional design of mechanisms

✍ C.U. Galletti; E.I. Giannotti 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 403 KB

Design of an absorptive MMIC switch for

Design of an absorptive MMIC switch for satellite communication system

✍ In-Bok Yom; Keun-Kwan Ryu; Dong-Hwan Shin; Jong-Heung Park; Moon-Que Lee 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 449 KB

A monolithic microwave integrated circuit (MMIC) switch chip is developed using the InGaAs/GaAs p-HEMT process for the switch matrix of a satellite communication system. An absorptive MMIC switch is designed for good reflection-coefficient performances of the input and output ports at both on-and of

Data communications system for the APL u

Data communications system for the APL user

✍ Roger Moore 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 538 KB

The usage of an interactive modeling sys

The usage of an interactive modeling system

✍ Reinhart Schmidt 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 619 KB

The evaluation and selection of a comput

The evaluation and selection of a computer system for interactive design

✍ G.J. Webster; C.W. Johnson 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 493 KB

The computer system requirements for development and support of interactive c.a.d, are considered. The nature of design its implications on ,.'.a.d. systems are discussed and possible machine configurations are outlined. Evaluation techniques and selection criteria used in the selection of a compute