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

Quelle  scenarioSometimesHeart.arg   Sprache: unbekannt

 
mk_(5000,[mk_(<PULSE>,<ATRIA>,4,900),mk_(<PULSE>,<VENTRICLE>,4,1150),mk_(<PULSE>,<VENTRICLE>,4,2150),mk_(<PULSE>,<ATRIA>,4,2900),mk_(<PULSE>,<VENTRICLE>,4,4150),mk_(<PULSE>,<ATRIA>,4,4900)])

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]