SFr. 147.00
€ 158.76
BTC 0.0028
LTC 2.209
ETH 0.0549


bestellen

Artikel-Nr. 18033493


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:



Autor(en): 
  • Neeraj Kumar Singh
  • Using Event-B for Critical Device Software Systems 
     

    (Buch)
    Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!


    Übersicht

    Auf mobile öffnen
     
    Lieferstatus:   Auf Bestellung (Lieferzeit unbekannt)
    Veröffentlichung:  Juli 2015  
    Genre:  EDV / Informatik 
     
    B / Computer Modelling / Computer modelling & simulation / Computer programming / Computer programming / software engineering / computer science / Computer simulation / Formal Languages and Automata Theory / Health & safety aspects of IT / Health Informatics / Mathematical logic / Mathematical Logic and Formal Languages / Programming Techniques / Simulation and Modeling / Software Engineering
    ISBN:  9781447157908 
    EAN-Code: 
    9781447157908 
    Verlag:  Springer Nature EN 
    Einband:  Kartoniert  
    Sprache:  English  
    Dimensionen:  H 235 mm / B 155 mm / D  
    Gewicht:  5212 gr 
    Seiten:  326 
    Illustration:  XVIII, 326 p. 
    Zus. Info:  Previously published in hardcover 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal  techniques, this book adopts a rigorous safety assessment approach explored via several layers (from  requirements analysis to automatic source code generation).

    This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies  in order to improve existing medical protocols. This allows the key issue  - that formal methods are not currently integrated into established critical systems development processes - to be discussed in a highly effective and informative way.

    Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health domain will find the cardiac pacemaker case study of particular value.

      
     Empfehlungen... 
     Learn Microservices with Spring Boot 3: A Practica - (Buch)
     Analysis of Speed-Related Crashes Using Event Data - (Buch)
     Using Event-B for Critical Device Software Systems - (Buch)
     Reliability of Systems Using Event Occurrence Netw - (Buch)
     Weitersuchen in   DVD/FILME   CDS   GAMES   BÜCHERN   



    Wird aktuell angeschaut...
     

    Zurück zur letzten Ansicht


    AGB | Datenschutzerklärung | Mein Konto | Impressum | Partnerprogramm
    Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Twitter-Page Twitter
    Forbidden Planet AG © 1999-2024
    Alle Angaben ohne Gewähr
     
    SUCHEN

     
     Kategorien
    Im Sortiment stöbern
    Genres
    Hörbücher
    Aktionen
     Infos
    Mein Konto
    Warenkorb
    Meine Wunschliste
     Kundenservice
    Recherchedienst
    Fragen / AGB / Kontakt
    Partnerprogramm
    Impressum
    © by Forbidden Planet AG 1999-2024