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

الدعم

غلاف 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

قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!

لغة الإنجليزية ● شكل PDF ● ISBN 9780387352718 ● الناشر Springer US ● نشرت 2013 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 4677882 ● حماية النسخ Adobe DRM

يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

Teruo Higashino Tadanori Mizuno Norio Shiratori Atsushi Togashi

18٬369 كتب إلكترونية في هذه الفئة

غلاف 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 …

غلاف 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 …

غلاف 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

غلاف 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 …

غلاف 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 …

غلاف Athanasios D. Panagopoulos: Handbook of Research on Next Generation Mobile Communication Systems

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

غلاف 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 …

غلاف 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 …

غلاف 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 …

غلاف 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 …

الصفحة التالية >>>