✦ LIBER ✦

Computer-controlled NTSC single-chip LSI for color TV

✍ Scribed by Nakajima, K.; Kimoto, Y.; Kishi, H.; Kato, T.; Muto, H.; Harigai, M.; Arai, H.; Ueki, K.; Murayama, M.; Cookson, L.; Ogiwara, T.; Tsukahara, Y.

Book ID: 117870508
Publisher: IEEE
Year: 1993
Tongue: English
Weight: 596 KB
Volume: 39
Category: Article
ISSN: 0098-3063
DOI: 10.1109/30.234616

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new single chip LSI for an NTSC CTV si

A new single chip LSI for an NTSC CTV signal processing

✍ Yoshimochi, S.; Nakamura, T.; Wada, Y.; Hara, K.; Onodera, M.; Tsurumura, K.; Fu 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 559 KB

Development of multifunctional NTSC syst

Development of multifunctional NTSC system single-chip LSI for higher picture and sound quality

✍ Imaizumi, N.; Imaizumi, H.; Ohsawa, I.; Koyanagi, T.; Beppu, T. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 500 KB

123 A single-chip computer for robust va

123 A single-chip computer for robust variable-structure control of large-scale safety-critical systems: N.E. Gough, W.A. Halang, pp 39–44

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 107 KB

We show how formal methods can be used to assist in developing requirements of a safety-critical system. The approach is to express the requirements in temporal logic, and then to develop a process model satisfying the requirements. The existence of such a model ensures the requirements are consiste