products/sources/formale Sprachen/VDM/VDMRT/PacemakerRT/tests/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Java.gmk   Sprache: Unknown

Untersuchungsergebnis.arg Download desMT940 {MT940[869] BAT[1492] Ada[1679]}zum Wurzelverzeichnis wechseln

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) ] )

[ zur Elbe Produktseite wechseln0.80Quellennavigators  ]