Catalog > Science > Technique > Electronique, Electrotechnique, Télécommunications > Teruo Higashino & Tadanori Mizuno: Formal Description Techniques and Protocol Specification, Testing and Verification (PDF)

Teruo Higashino & Tadanori Mizuno
Formal Description Techniques and Protocol Specification, Testing and Verification [PDF ebook]
FORTE X / PSTV XVII ’97

Support

Couverture du Teruo Higashino & Tadanori Mizuno: Formal Description Techniques and Protocol Specification, Testing and Verification (PDF)

FORTE/PSTV ’97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

€230.35

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9780387352718 ● Maison d’édition Springer US ● Publié 2013 ● Téléchargeable 3 fois ● Devise EUR ● ID 4677882 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Teruo Higashino Tadanori Mizuno Norio Shiratori Atsushi Togashi

18 519 Ebooks dans cette catégorie

Couverture du Malgorzata Chrzanowska-Jeske & Kirsten Weide-Zaage: Semiconductor Devices in Harsh Conditions

Malgorzata Chrzanowska-Jeske & Kirsten Weide-Zaage: Semiconductor Devices in Harsh Conditions

This book introduces the reader to a number of challenges for the operation of electronic devices in various harsh environmental conditions. While some chapters focus on measuring and understanding t …

Couverture du Bashir Al-Hashimi: The Art of Simulation Using PSPICEAnalog and Digital

Bashir Al-Hashimi: The Art of Simulation Using PSPICEAnalog and Digital

This comprehensive volume covers both elementary and advanced analog and digital circuit simulation using PSpice. The text includes many worked examples, circuit diagrams, tables, and code listings. …

Couverture du Susmit Bagchi: Emerging Research in Cloud Distributed Computing Systems

Susmit Bagchi: Emerging Research in Cloud Distributed Computing Systems

Couverture du Martin J N (University of Huddersfield, West Yorkshire, United Kingdom) Sibley: Modern Telecommunications

Martin J N (University of Huddersfield, West Yorkshire, United Kingdom) Sibley: Modern Telecommunications

Telecommunications is fundamental to modern society, with nearly everyone on the planet having access to a mobile phone, Wi-Fi, or satellite and terrestrial broadcast systems. This book is a concise …

Couverture du Jerry C. (Technical Press, Morgan Hill, California, USA) Whitaker: Microelectronics

Jerry C. (Technical Press, Morgan Hill, California, USA) Whitaker: Microelectronics

When it comes to electronics, demand grows as technology shrinks. From consumer and industrial markets to military and aerospace applications, the call is for more functionality in smaller and smalle …

Couverture du Ali Diab: Self-Organized Mobile Communication Technologies and Techniques for Network Optimization

Ali Diab: Self-Organized Mobile Communication Technologies and Techniques for Network Optimization

Couverture du Michael A. Brown Sr.: Solutions for High-Touch Communications in a High-Tech World

Michael A. Brown Sr.: Solutions for High-Touch Communications in a High-Tech World

Couverture du Amit (National University of Singapore, Singapore) Banerjee & Chinmay (BITS Mesra, Jharkhand, India) Chakraborty: Artificial Intelligence and the Fourth Industrial Revolution

Amit (National University of Singapore, Singapore) Banerjee & Chinmay (BITS Mesra, Jharkhand, India) Chakraborty: Artificial Intelligence and the Fourth Industrial Revolution

This book presents the overall technology spectrum in artificial intelligence (AI) and the Fourth Industrial Revolution, which is set to revolutionize the world. It discusses their various aspects an …

Couverture du Johannes Edelmann & Peter (Munich University of Applied Sciences, Department of Mechanical, Automotive and Aeronautical Engineering, Munchen, Germany) Pfeffer: Advanced Vehicle Control

Johannes Edelmann & Peter (Munich University of Applied Sciences, Department of Mechanical, Automotive and Aeronautical Engineering, Munchen, Germany) Pfeffer: Advanced Vehicle Control

The AVEC symposium is a leading international conference in the fields of vehicle dynamics and advanced vehicle control, bringing together scientists and engineers from academia and automotive indust …

Couverture du Tertulien (IEEE, Canada) Ndjountche: Data Converters, Phase-Locked Loops, and Their Applications

Tertulien (IEEE, Canada) Ndjountche: Data Converters, Phase-Locked Loops, and Their Applications

With a focus on designing and verifying CMOS analog integrated circuits, the book reviews design techniques for mixed-signal building blocks, such as Nyquist and oversampling data converters, and cir …

Page suivante >>>