products/sources/formale Sprachen/VDM/VDMPP/PacemakerSeqPP/tests image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: extended-pattern-matching.rst   Sprache: Unknown

Spracherkennung für: .arg vermutete Sprache: MT940 {MT940[1036] BAT[1270] Ada[1457]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

mk_(5000 ,[mk_(<PULSE>,<ATRIA> ,2 ,1000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,1150),
mk_(<PULSE>,<ATRIA> ,2 ,2000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,2150) ,
mk_(<PULSE>,<ATRIA> ,2 ,3000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,3150) ,
mk_(<PULSE>,<ATRIA> ,2 ,4000) ,mk_(<PULSE>,<VENTRICLE> ,2 ,4150) ,
mk_(<PULSE>,<ATRIA> ,2 ,5000) ] )



[ Dauer der Verarbeitung: 0.58 Sekunden  ]