Catalog > Sciences > Engineering / Technics > Electronics, Electrical Engineering, Communications Engineering > 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

Cover of 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

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9780387352718 ● Publisher Springer US ● Published 2013 ● Downloadable 3 times ● Currency EUR ● ID 4677882 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Teruo Higashino Tadanori Mizuno Norio Shiratori Atsushi Togashi

18,519 Ebooks in this category

Cover of 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 …

Cover of 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. …

Cover of Susmit Bagchi: Emerging Research in Cloud Distributed Computing Systems

Susmit Bagchi: Emerging Research in Cloud Distributed Computing Systems

Cover of 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 …

Cover of 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 …

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

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

Cover of 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

Cover of 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 …

Cover of 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 …

Cover of 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 …