Catalog > Ciencia > Técnica > Electrónica, Ingeniería eléctrica, Telecomunicaciones > 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

Soporte

Portada de 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

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● ISBN 9780387352718 ● Editorial Springer US ● Publicado 2013 ● Descargable 3 veces ● Divisa EUR ● ID 4677882 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Teruo Higashino Tadanori Mizuno Norio Shiratori Atsushi Togashi

19.094 Ebooks en esta categoría

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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- …

Portada de 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 …

Portada de Uday (IIT Bombay, Mumbai, India) Khedker & Amitabha (IIT Bombay, Mumbai, India) Sanyal: Data Flow Analysis

Uday (IIT Bombay, Mumbai, India) Khedker & Amitabha (IIT Bombay, Mumbai, India) Sanyal: Data Flow Analysis

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it t …

Portada de 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 …

Portada de Seppo Virtanen: Advancing Embedded Systems and Real-Time Communications with Emerging Technologies

Seppo Virtanen: Advancing Embedded Systems and Real-Time Communications with Emerging Technologies

siguiente página >>>