Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Knowledge-based verification of service compositions
II Contributions
5 Automating Correctness Proofs using First-order Logic
5.4 Deriving Invariants and Termination Functions
5.4.2 Finding Termination Functions using Domain Knowledge
Wird geladen ...
Dissertation
Knowledge-based verification of service compositions / vorgelegt von Sven Walther
Entstehung
Paderborn
2018
JPEG-Download
verfügbare Breiten
JPEG groß
JPEG original
Seiten an
Seiten aus