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

Quelle  scenarioBrokenHeart.arg   Sprache: unbekannt

 
mk_(50000000,[])

[ Dauer der Verarbeitung: 0.5 Sekunden  (vorverarbeitet)  ]