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
β¦ LIBER β¦
Virtual Prototyping For Modular And Flexible Hardware-Software Systems
β Scribed by Carlos A. Valderrama; Adel Changuel; Ahmed A. Jerraya
- Book ID
- 110268410
- Publisher
- Springer US
- Year
- 1997
- Tongue
- English
- Weight
- 163 KB
- Volume
- 2
- Category
- Article
- ISSN
- 0929-5585
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
TTL: a modular language for hardware/sof
β
Vincenza Carchiolo; Michele Malgeri; Giuseppe Mangioni
π
Article
π
2003
π
Elsevier Science
π
English
β 334 KB
Software and Hardware for Psychophysiolo
β
E. V. Matveev; I. V. Galβetov; A. A. Vasilβev; A. Yu. Kravchuk; D. V. Tereshkina
π
Article
π
2005
π
Springer US
π
English
β 230 KB
Building a Virtual Framework for Network
β
Yajun Ha; Serge Vernalde; Partrick Schaumont; Marc Engels; Rudy Lauwereins; Hugo
π
Article
π
2002
π
Springer US
π
English
β 688 KB
Hardware and software systems for commis
β
R.D. Angstadt; F.O. Borcherding; E.E. Dougherty; M.E. Johnson; I.L. Manning; D.C
π
Article
π
1990
π
Elsevier Science
π
English
β 715 KB
Hardware and software to design virtual
β
Domenico Grimaldi; Sergio Rapuano
π
Article
π
2009
π
Elsevier Science
π
English
β 376 KB
The multimedia tools play an important role in both the management of the lectures and the organization of the course programs on instrumentation and measurement. In this scenario, the virtual laboratory (VL) represents the environment in which the learning activities are performed. Starting from th
Hardware/Software Communication and Syst
β
Steven Vercauteren; Bill Lin
π
Article
π
1997
π
Springer US
π
English
β 203 KB