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

Quelle  scenarioGoodHeart.arg   Sprache: unbekannt

 
mk_(50000 ,[mk_(<PULSE>,<ATRIA> ,2 ,10000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,11500),
mk_(<PULSE>,<ATRIA> ,2 ,20000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,21500) ,
mk_(<PULSE>,<ATRIA> ,2 ,30000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,31500) ,
mk_(<PULSE>,<ATRIA> ,2 ,40000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,41500) ] )



[ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ]