- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2020
- Schlagwort
-
Modeling
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2020
- Urheber
-
Khlifi, Oussama
- DOI
-
10.22028/D291-32487
- URN
-
urn:nbn:de:bsz:291--ds-324872
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Khlifi, Oussama
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2020
Ähnliche Objekte (12)
Reconfigurable scan networks : formal verification, access optimization, and protection
Modeling and verification of reconfigurable discrete event control systems
Counterexamples in probabilistic verification
Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; proceedings
A Deductive Verification Infrastructure for Probabilistic Programs
Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings
Probabilistic protein homology modeling
Probabilistic protein homology modeling
Modeling and automated synthesis of reconfigurable interfaces
Modeling and automated synthesis of reconfigurable interfaces
Modeling and automated synthesis of reconfigurable interfaces
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
Reconfigurable scan networks : formal verification, access optimization, and protection
Modeling and verification of reconfigurable discrete event control systems
Counterexamples in probabilistic verification
Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; proceedings
A Deductive Verification Infrastructure for Probabilistic Programs
Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings
Probabilistic protein homology modeling
Probabilistic protein homology modeling
Modeling and automated synthesis of reconfigurable interfaces
Modeling and automated synthesis of reconfigurable interfaces
Modeling and automated synthesis of reconfigurable interfaces
Formal modeling and verification of cyber-physical systems : Bremen, Germany, September 2015
Reconfigurable scan networks : formal verification, access optimization, and protection
Modeling and verification of reconfigurable discrete event control systems
Counterexamples in probabilistic verification
Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; proceedings
A Deductive Verification Infrastructure for Probabilistic Programs
Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings
Probabilistic protein homology modeling
Probabilistic protein homology modeling
Modeling and automated synthesis of reconfigurable interfaces
Modeling and automated synthesis of reconfigurable interfaces
Modeling and automated synthesis of reconfigurable interfaces