Formal Description Techniques and Protocol Specification, Testing and Verification

Formal Description Techniques and Protocol Specification, Testing and Verification

Ana Cavalli / Elie Najm / Stan Budkowski

266,90 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
1998
ISBN:
9780412847608

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
¡Pregúntanos!
Sobre IBD

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.

Artículos relacionados

  • Video Surveillance Techniques and Technologies
    Vesna Zeljkovic
    Security video surveillance systems, such as homeland security and national defense, rely on specific mathematical algorithms in order to run effectively. It is essential for these parameters to be understood in order to design and create a successful system. Video Surveillance Techniques and Technologies presents empirical research and acquired experience on the original solut...
  • Swarm Intelligence for Electric and Electronic Engineering
    With growing developments in artificial intelligence and focus on swarm behaviors; algorithms have been utilized in solving a variety of problems in the field of engineering. This approach has been specifically suited to face the challenges in electric and electronic engineering. Swarm Intelligence for Electric and Electronic Engineering provides an exchange of knowledge on the...
  • Multirate Systems
    Gordana Jovanovic-Dolecek
    ...
  • Advanced Instrument Engineering
    Lay-Ekuakille
    Measurement technologies and instrumentation have a multidisciplinary impact in the field of applied sciences. These engineering technologies are necessary in processing information required for renewable energy, biotechnology, power quality, and nanotechnology. Advanced Instrument Engineering: Measurement, Calibration, and Design presents theoretical and practical aspects on t...
  • Linear Systems Theory
    João P. Hespanha
    A fully updated textbook on linear systems theoryLinear systems theory is the cornerstone of control theory and a well-established discipline that focuses on linear differential equations from the perspective of control and estimation. This updated second edition of Linear Systems Theory covers the subject’s key topics in a unique lecture-style format, making the book easy to ...
  • Instrument Transformers
    P.K. Pattanaik
    "Instrument Transformers" serves as an indispensable guide for electrical engineers and professionals navigating the complexities of measuring high-voltage currents and potentials. In the realm of electrical engineering, direct measurement of voltages and currents in the "kilo" or "mega" range presents significant challenges, not only due to the sheer magnitude of these values ...
    Disponible

    39,10 €