Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/PacemakerSimplePP/   (Lyx Textverarbeitung ©)  Datei vom 13.4.2020 mit Größe 427 B image not shown  

Quelle  README.txt   Sprache: Text

 
Author: Steve Riddle and Peter Gorm Larsen


This model is a very simple version of the pacemaker as it has
been used for a small exercise to VDM newcommers. It was first 
used in a VDM course delivered by Steve Riddle and John Fitzgerald
and later used and adjusted by Peter Gorm Larsen also. 


Language Version: classic
Entry point     : new Heart().IdealHeart()
Entry point     : new Pacemaker().Pace(Pacemaker`wrongTR,5,2)

90%


¤ Dauer der Verarbeitung: 0.9 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Die farbliche Syntaxdarstellung ist noch experimentell.

Die farbliche Syntaxdarstellung ist noch experimentell.