E-kitap > Bilim > Mühendislik / Teknik > Elektronik, Elektrik Mühendisliği > 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

Destek

Örtmek 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

Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!

Dil İngilizce ● Biçim PDF ● ISBN 9780387352718 ● Yayımcı Springer US ● Yayınlanan 2013 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 4677882 ● Kopya koruma Adobe DRM

DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

Teruo Higashino Tadanori Mizuno Norio Shiratori Atsushi Togashi

18.369 Bu kategorideki e-kitaplar

Örtmek 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 …

Örtmek 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 …

Örtmek 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

Örtmek 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 …

Örtmek 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 …

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

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

Örtmek 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 …

Örtmek Vivek (Corporate IT Strategy Consultant, Thane (West), India) Kale: Digital Transformation of Enterprise Architecture

Vivek (Corporate IT Strategy Consultant, Thane (West), India) Kale: Digital Transformation of Enterprise Architecture

‘In this book, Vivek Kale makes an important contribution to the theory and practice of enterprise architecture … this book captures the breadth and depth of information that a modern enterprise arch …

Örtmek 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 …

Örtmek 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 …

Sonraki Sayfa >>>