Catalog > Științe > Inginerie / Tehnică > Electronică, inginerie electrică > 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

Ajutor

Copertina 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

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Engleză ● Format PDF ● ISBN 9780387352718 ● Editura Springer US ● Publicat 2013 ● Descărcabil 3 ori ● Valută EUR ● ID 4677882 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Teruo Higashino Tadanori Mizuno Norio Shiratori Atsushi Togashi

19.094 Ebooks din această categorie

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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- …

Copertina 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 …

Copertina 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 …

Copertina 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 …

Copertina 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

Pagina următoare >>>