Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/PacemakerSeqPP/tests/   (Wiener Entwicklungsmethode ©)  Datei vom 13.4.2020 mit Größe 321 B image not shown  

Quelle  scenarioGoodHeart.arg   Sprache: unbekannt

 
mk_(5000 ,[mk_(<PULSE>,<ATRIA> ,2 ,1000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,1150),
mk_(<PULSE>,<ATRIA> ,2 ,2000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,2150) ,
mk_(<PULSE>,<ATRIA> ,2 ,3000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,3150) ,
mk_(<PULSE>,<ATRIA> ,2 ,4000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,4150) ,
mk_(<PULSE>,<ATRIA> ,2 ,5000) ] )

[ Dauer der Verarbeitung: 0.7 Sekunden  (vorverarbeitet)  ]