Inicio > Medicina > Medicina: cuestiones generales > Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Mathai Joseph

66,53 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
1988
Materia
Medicina: cuestiones generales
ISBN:
9783540503026
66,53 €
IVA incluido
Disponible

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)
Sobre IBD

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.

Artículos relacionados

  • 48 Recettes de Repas pour l'élimination de l'acné
    Joe Correa
    48 Recettes de Repas pour ’élimination de l’acné : La voie rapide et naturelle de correction des problèmes d'acné en 10 jours ou moins! Par Joe Correa CSN   Ces recettes vous aideront à avoir un système immunitaire plus fort grâce à une variété de vitamines et de nutriments. Environ 20 pour cent de toutes les personnes souffrent d'acné pendant 20 et 30 ans, et la cau...
    Disponible

    20,65 €

  • 54 Ricette per diabetici per controllare la tua condizione, naturalmente
    Joe Correa
    54 Ricette Per Diabetici Per Controllare La Tua Condizione, Naturalmente: Scelte Alimentari Sane Per Tutti I DiabeticiDi Joe Correa CSN Il diabete si verifica a causa della incapacità del pancreas di produrre insulina. Il diabete di tipo 1 è classificato come una malattia autoimmune. È una condizione in cui il sistema immunitario dell'organismo 'attacca' i propri tessuti e ...
    Disponible

    22,29 €

  • Ubiquitous Cardiology
    Piotr Augustyniak / Ryszard Tadeusiewicz
    The Internet and other technological developments are now playing increasing roles in consumer health and the delivery of health services. Ubiquitous Cardiology: Emerging Wireless Telemedical Applications provides developmental solutions and explanations for cardiovascular diagnostics. Useful to field researchers, academicians, and healthcare practitioners, this Premier Referen...
  • Quality Assurance in Healthcare Service Delivery, Nursing and Personalized Medicine
    Quality of life is difficult to define and even more difficult to measure; as such, outcomes from nursing in continuing care are not easily articulated. Quality Assurance in Healthcare Service Delivery, Nursing and Personalized Medicine: Technologies and Processes offers a framework for measuring quality of service in the healthcare industry as it pertains to nursing, with insi...
  • Exploring the Pressures of Medical Education From a Mental Health and Wellness Perspective
    Christina Ramirez Smith
    Discussions surrounding mental health are becoming more prominent and these conditions are becoming less stigmatized. Studying the effects that mental wellness has on students within the medical field can provide an insider perspective on this critical topic. Exploring the Pressures of Medical Education From a Mental Health and Wellness Perspective is a critical reference sourc...
  • Electrocardiogram Signal Classification and Machine Learning
    Sara Moein
    Technological tools and computational techniques have enhanced the healthcare industry. These advancements have led to significant progress in the diagnosis of heart disorders. Electrocardiogram Signal Classification and Machine Learning: Emerging Research and Opportunities is a critical scholarly resource that examines the importance of automatic normalization and classificati...

Otros libros del autor

  • Formal Techniques in Real-Time and Fault-Tolerant Systems
    Mathai Joseph
    The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested software designers and academics to becoming a well-established area of inquiry. A number of new topics, such ...
    Disponible

    79,36 €