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

Quelle  scenarioSometimesHeart.arg   Sprache: unbekannt

 
mk_(50000,[mk_(<PULSE>,<ATRIA>,4,9000),mk_(<PULSE>,<VENTRICLE>,4,11500),mk_(<PULSE>,<VENTRICLE>,4,21500),mk_(<PULSE>,<ATRIA>,4,29000),mk_(<PULSE>,<VENTRICLE>,4,41500),mk_(<PULSE>,<ATRIA>,4,49000)])


[ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ]