Zum Inhalt springen

Hermanns, Holger [HerausgeberIn] ; PAPM PROBMIV 2 2002 Kopenhagen

Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2002

Erschienen in: Lecture notes in computer science ; 2399
Hermanns, Holger [VerfasserIn]

Interactive Markov chains : and the quest for quantified quality

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2002

Erschienen in: Lecture notes in computer science ; 2428
Damm, Werner [HerausgeberIn]; Hermanns, Holger [Sonstige Person, Familie und Körperschaft] ; CAV 19 2007 Berlin

Computer aided verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3 - 7, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4590
Baier, Christel [HerausgeberIn]; Hermanns, Holger [Sonstige Person, Familie und Körperschaft] ; CONCUR 17 2006 Bonn

CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27 - 30, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4137
Hermanns, Holger [HerausgeberIn]; Palsberg, Jens [Sonstige Person, Familie und Körperschaft] ; TACAS 12 2006 Wien, ETAPS 9 2006 Wien

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York: Springer, 2006

Erschienen in: Lecture notes in computer science ; 3920
Biewer, Sebastian [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

Software doping – Theory and detection

Online ansehen
Schließen

Zugang

https://d-nb.info/130095700X/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2023
Klauck, Michaela [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

On the connection of probabilistic model checking, planning, and learning for system verification

Online ansehen
Schließen

Zugang

https://d-nb.info/1262884551/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2022
Nies, Gilles [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

Mastering satellite operation : on model-based and data-driven optimal battery-aware scheduling

Online ansehen
Schließen

Zugang

https://d-nb.info/1269946250/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2021
Eisentraut, Christian Georg [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

Principles of Markov automata

Online ansehen
Schließen

Zugang

https://d-nb.info/1161729356/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2018
Hashemi, Vahid [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

Decision algorithms for modelling, optimal control and veriﬁcation of probabilistic systems

Online ansehen
Schließen

Zugang

https://d-nb.info/1152095447/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2017
Hatefi Ardakani, Hassan [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

Finite horizon analysis of Markov automata

Online ansehen
Schließen

Zugang

https://d-nb.info/1123571473/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2017
Crouzen, Pepijn [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

Modularity and determinism in compositional Markov models

Online ansehen
Schließen

Zugang

https://d-nb.info/1074870727/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2015
Hartmanns, Arnd [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

On the analysis of stochastic timed systems

Online ansehen
Schließen

Zugang

https://d-nb.info/106928985X/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2015
Hahn, Ernst Moritz [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

Model checking stochastic hybrid systems

Online ansehen
Schließen

Zugang

https://d-nb.info/1052903118/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2013
Zhang, Lijun [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

Decision algorithms for probabilistic simulations

Online ansehen
Schließen

Zugang

https://d-nb.info/104994870X/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2009
Biewer, Sebastian [VerfasserIn] ; Hermanns, Holger [AkademischeR BetreuerIn]

Software doping – Theory and detection

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2023
Biewer, Sebastian [VerfasserIn] ; Hermanns, Holger [MitwirkendeR]

Software doping – Theory and detection

Online ansehen
Schließen

Links

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarländische Universitäts- und Landesbibliothek, 2023
Klauck, Michaela [VerfasserIn] ; Hermanns, Holger [MitwirkendeR]

On the connection of probabilistic model checking, planning, and learning for system verification

Online ansehen
Schließen

Links

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarländische Universitäts- und Landesbibliothek, 2022
Nies, Gilles [VerfasserIn] ; Hermanns, Holger [MitwirkendeR]

Mastering satellite operation : on model-based and data-driven optimal battery-aware scheduling

Online ansehen
Schließen

Links

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Saarländische Universitäts- und Landesbibliothek, 2021
Hermanns, Holger [HerausgeberIn]

Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings - [1st ed. 2020.]

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

Erschienen in: Programming and Software Engineering ; 12040- Springer eBook Collection

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr