Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Universität zu Lübeck Home
English
Deutsch
Home
Einrichtungen
Personen
Publikationen
Projekte
Preise
Spin-Offs
Aktivitäten
Medien
Nach Expertise, Namen oder Zugehörigkeit suchen
The Theory and Practice of SALT
Andreas Bauer,
Martin Leucker
Institut für Softwaretechnik und Programmiersprachen
NICTA Canberra Research Lab.
Australian National University
Übersicht
Fingerprint
Fingerprint
Untersuchen Sie die Forschungsthemen von „The Theory and Practice of SALT“. Zusammen bilden sie einen einzigartigen Fingerprint.
sortieren
Gewichtung
Alphabetisch
Computer Science
Model Checking
100%
Regular Expression
100%
runtime verification
100%