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: implicit-good.tld   Sprache: Unknown

Anforderungen.arg Begriffe der KonzeptbildungMT940 {MT940[1583] Haskell[2489] BAT[2515]}Entwicklung

mk_(50000000 ,[mk (<PULSE>,<ATRIA> ,4 ,9000) , mk_(<PULSE>,<ATRIA> ,4 ,9500) ,
mk_(<PULSE>,<ATRIA> ,4 ,19000) ,mk_(<PULSE>,<ATRIA> ,4 ,19400),mk (<PULSE>,<ATRIA> ,4 ,29000) , mk_(<PULSE>,<ATRIA> ,4 ,29500) ] )

[ Verzeichnis aufwärts0.46unsichere Verbindung  ]