products/Sources/formale Sprachen/VDM/VDMPP/MetroInterlockingPP/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Reflection_Examples.thy   Sprache: Unknown

rahmenlose Ansicht.overture DruckansichtText {Text[131] Latech[149] Haskell[175]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

<?xml version="1.0" encoding="UTF-8"?>
<overture>
 <group key="org.overture.ide.plugins.latex">
  <booleanAttribute key="LATEX_GENERATE_MAIN_DOCUMENT" value="true"/>
  <stringAttribute key="LATEX_MAIN_DOCUMENT" value="MetroInterlocking.tex"/>
  <booleanAttribute key="LATEX_MODEL_ONLY" value="true"/>
  <booleanAttribute key="LATEX_MARK_COVERAGE" value="true"/>
  <booleanAttribute key="LATEX_INCLUDE_COVERAGETABLE" value="true"/>
 </group>
</overture>

[ Verzeichnis aufwärts0.86unsichere Verbindung  ]