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

Sliding between model checking and runtime verification

Institut für Softwaretechnik und Programmiersprachen

Übersicht
Fingerprint

Fingerprint

Untersuchen Sie die Forschungsthemen von „Sliding between model checking and runtime verification“. Zusammen bilden sie einen einzigartigen Fingerprint.

sortieren
Gewichtung
Alphabetisch

Computer Science

Angetrieben von Pure, Scopus & Elsevier Fingerprint Engine™

Alle Inhalte auf dieser Website: Copyright © 2025 Universität zu Lübeck, dessen Lizenzgebende und Mitwirkende. Alle Rechte vorbehalten, einschließlich der Rechte für Text- und Data-Mining, KI-Training und ähnliche Technologien. Für alle Open Access-Inhalte gelten die entsprechenden Lizenzbedingungen.

Wir verwenden Cookies, um unseren Service bereitzustellen und zu verbessern und um Inhalte anzupassen. Wenn Sie fortfahren, stimmen Sie der Verwendung von Cookies zu.

In Pure anmelden

Über die Web-Zugänglichkeit

Sicherheitslücke melden