Ebook > Wetenschappen > Engineering / Techniek > Elektronica, Elektrotechniek > 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

Ondersteuning

Hoes van 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.

€227.84

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Engels ● Formaat PDF ● ISBN 9780387352718 ● Uitgeverij Springer US ● Gepubliceerd 2013 ● Downloadbare 3 keer ● Valuta EUR ● ID 4677882 ● Kopieerbeveiliging Adobe DRM

Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

Teruo Higashino Tadanori Mizuno Norio Shiratori Atsushi Togashi

18.369 E-boeken in deze categorie

Hoes van Andy Du Port: Reeds VHF Handbook

Andy Du Port: Reeds VHF Handbook

The Reeds VHF Handbook is an accessible, user friendly but comprehensive guide to marine VHF radio that helps users quickly get up to speed with all the functions on their equipment. Straightforward …

Hoes van Radhika Ranjan Roy: Handbook on Session Initiation Protocol

Radhika Ranjan Roy: Handbook on Session Initiation Protocol

Session Initiation Protocol (SIP), standardized by the Internet Engineering Task Force (IETF), has emulated the simplicity of the protocol architecture of hypertext transfer protocol (HTTP) and is be …

Hoes van Ekaterina Aleshina & Vardan Mkrttchian: Sliding Mode in Intellectual Control and Communication: Emerging Research and Opportunities

Ekaterina Aleshina & Vardan Mkrttchian: Sliding Mode in Intellectual Control and Communication: Emerging Research and Opportunities

Hoes van Akashdeep (University of Petroleum and Energy Studies) Bhardwaj & Susheela (UPES) Dahiya: Internet of Things and Cyber Physical Systems

Akashdeep (University of Petroleum and Energy Studies) Bhardwaj & Susheela (UPES) Dahiya: Internet of Things and Cyber Physical Systems

The quantity, diversity, and sophistication of Internet of Things (Io T) items are rapidly increasing, posing significant issues but also innovative solutions for forensic science. Such systems are b …

Hoes van 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 …

Hoes van Athanasios D. Panagopoulos: Handbook of Research on Next Generation Mobile Communication Systems

Athanasios D. Panagopoulos: Handbook of Research on Next Generation Mobile Communication Systems

Hoes van Gian Marco Iodice: TinyML Cookbook

Gian Marco Iodice: TinyML Cookbook

<p><b>Over 70 recipes to help you develop smart applications on Arduino Nano 33 BLE Sense, Raspberry Pi Pico, and Spark Fun Red Board Artemis Nano using the power of machine learning …

Hoes van Sanjay Kumar Dhurandher & Anshul (Banaras Hindu University, India) Verma: Opportunistic Networks

Sanjay Kumar Dhurandher & Anshul (Banaras Hindu University, India) Verma: Opportunistic Networks

The opportunistic network is an emerging and recent area of research. To make this research area more adaptable for practical and industrial use, there is a need to further investigate several resear …

Hoes van Edward Y.L. (Oakland University, USA.) Gu: Advanced Dynamics Modeling, Duality and Control of Robotic Systems

Edward Y.L. (Oakland University, USA.) Gu: Advanced Dynamics Modeling, Duality and Control of Robotic Systems

This book provides detailed fundamental theoretical reviews and preparations necessary for developing advanced dynamics modeling and control strategies for various types of robotic systems. This rese …

Hoes van Yi (Network Management Center, Beijing, China) Du & Deyi Li: Artificial Intelligence with Uncertainty

Yi (Network Management Center, Beijing, China) Du & Deyi Li: Artificial Intelligence with Uncertainty

This book develops a framework that shows how uncertainty in Artificial Intelligence (AI) expands and generalizes traditional AI. It explores the uncertainties of knowledge and intelligence. The auth …

Volgende pagina >>>