products/Sources/formale Sprachen/C/Cephes/ldouble/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: README.txt   Sprache: Text

Author: Hugo Macedo


The Pacemaker Challenge problem has been proposed by the 
North American Software Certification Consortium, based 
on a pacemaker specification offered by Boston Scientific. 
Participants in the challenge are invited to develop models, 
designs and implementations, as well as generating evidence 
that would be of value in certifying the software. More 
details can be found in:

Hugo Daniel Macedo, Peter Gorm Larsen and John Fitzgerald, 
Incremental Development of a Distributed Real-Time Model 
of a Cardiac Pacing System Using VDM, FM 2008: Formal 
Methods, LNCS 5014, Eds.: Jorge Cuellar, Tom Maibaum and 
Kaisa Sere, May 2008. 

Language Version: vdm10

[ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ]