Catalog > Nauka > Technika > Elektronika, elektrotechnika, telekomunikacja > 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

Wsparcie

Pokrywa 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.82

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format PDF ● ISBN 9780387352718 ● Wydawca Springer US ● Opublikowany 2013 ● Do pobrania 3 czasy ● Waluta EUR ● ID 4677882 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Teruo Higashino Tadanori Mizuno Norio Shiratori Atsushi Togashi

19 094 Ebooki w tej kategorii

Pokrywa Evgeni Perelroyzen: Digital Integrated Circuits

Evgeni Perelroyzen: Digital Integrated Circuits

A current trend in digital design-the integration of the MATLAB® components Simulink® and Stateflow® for model building, simulations, system testing, and fault detection-allows for better control ove …

Pokrywa Ivan Cibrario Bertolotti & Tingting Hu: Embedded Software Development

Ivan Cibrario Bertolotti & Tingting Hu: Embedded Software Development

Embedded Software Development: The Open-Source Approach delivers a practical introduction to embedded software development, with a focus on open-source components. This programmer-centric book is wri …

Pokrywa Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

Alma Y. (University of Guadalajara, Guadalajara, Mexico) Alanis & Nancy (University of Guadalajara, Guadalajara, Mexico) Arana-Daniel: Neural Networks for Robotics

The book offers an insight on artificial neural networks for giving a robot a high level of autonomous tasks, such as navigation, cost mapping, object recognition, intelligent control of ground and a …

Pokrywa S. Kannadhasan & Alagar (KPR Institute of Engineering and Technology, India) Karthick: Intelligent Technologies for Sensors

S. Kannadhasan & Alagar (KPR Institute of Engineering and Technology, India) Karthick: Intelligent Technologies for Sensors

Sensor devices that are flexible and printable have received a lot of interest in recent years. New techniques such as printing and additive manufacturing are being developed to realize a wide range …

Pokrywa Dave Adamy: Practical Communication Theory

Dave Adamy: Practical Communication Theory

Practical Communication Theory, 2nd Edition enables the reader to quickly and easily generate the answers to real-world problems encountered in specifying, testing, and fielding any type of systems t …

Pokrywa Robert A. Witte: Spectrum and Network Measurements

Robert A. Witte: Spectrum and Network Measurements

This updated edition of the industry”s classic text combines the theory, practice, and latest technology of spectrum and network measurements in electronic systems to offer a comprehensive and easy …

Pokrywa Radu (University of Bucharest, Romania) Dobrescu & Florin (Steinbeis University of Berlin, Germany) Ionescu: Large Scale Networks

Radu (University of Bucharest, Romania) Dobrescu & Florin (Steinbeis University of Berlin, Germany) Ionescu: Large Scale Networks

This book offers a rigorous analysis of the achievements in the field of traffic control in large networks, oriented on two main aspects: the self-similarity in traffic behaviour and the scale-free c …

Pokrywa Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Dongxing (Harbin University of Science and Technology, Harbin, China) Wang: Information Science and Electronic Engineering

Information Science and Electronic Engineering is a collection of contributions drawn from the International Conference of Electronic Engineering and Information Science (ICEEIS 2016) held January 4- …

Pokrywa M.V. (Indian Inst. of Tech Roorkee, India) Kartikeyan & Leeladhar (Shri G. S. Inst. of Tech. and Science, Indore, India) Malviya: MIMO Antennas for Wireless Communication

M.V. (Indian Inst. of Tech Roorkee, India) Kartikeyan & Leeladhar (Shri G. S. Inst. of Tech. and Science, Indore, India) Malviya: MIMO Antennas for Wireless Communication

The desired objective of this book is to investigate diversity and mutual coupling effects on MIMO antenna designs for WLAN/Wi MAX/LTE applications, controlled with diversity and ground modification …

Pokrywa Dorin O. (Woburn, Massachusetts, USA) Neacsu: Telecom Power Systems

Dorin O. (Woburn, Massachusetts, USA) Neacsu: Telecom Power Systems

This book addresses topics specific to the application of power electronics to telecom systems. It follows the power flow from national grid down to the last low-voltage high current requirement of a …

Następna strona >>>