Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=1045252077



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1045252077
Person Bartocci, Ezio
Akademischer Grad Dr.
Geschlecht männlich
Quelle Homepage: http://www.eziobartocci.com/
Internet: http://www.eziobartocci.com/resume_bartocci.pdf
Zeit Wirkungsdaten: 2012-
Land Italien (XA-IT); Österreich (XA-AT)
Beruf(e) Informatiker
Hochschullehrer
Weitere Angaben Master in Bioinformatik, seit 2012 Assistenzprof. an der TU Wien
Beziehungen zu Organisationen Technische Universität Wien. Fakultät für Informatik
Typ Person (piz)
Autor von 1 Publikation
  1. The probabilistic termination tool amber
    Enthalten in Formal methods in system design 10.5.2023: 1-20
Beteiligt an 4 Publikationen
  1. Lectures on Runtime Verification
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2018, 1st edition 2018
  2. Lectures on Runtime Verification
    Cham : Springer International Publishing, 2018, 1st edition 2018
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration