𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formalized model for a conversational hardware-software system

✍ Scribed by E. A. Alekseenko; A. M. Dovgyallo

Publisher
Springer US
Year
1981
Tongue
English
Weight
596 KB
Volume
16
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

TTL: a modular language for hardware/sof
TTL: a modular language for hardware/software systems design
✍ Vincenza Carchiolo; Michele Malgeri; Giuseppe Mangioni πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 334 KB

The development of tools for the design of both hardware and software systems draws great benefits from the use of formal methods, especially if they offer a descriptive capacity which covers real applications. On the basis of the T-LOTOS language, a language called TTL has been developed, which add