Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: nid=1069807605



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1069807605
Person Havelund, Klaus
Quelle LCAuth
Homepage (Stand: 24.11.2021): http://www.havelund.com/
Zeit Lebensdaten: 1955-
Land Dänemark (XA-DK); USA (XD-US)
Geografischer Bezug Geburtsort: Kopenhagen
Wirkungsort: Pasadena, Calif.
Beruf(e) Informatiker
Weitere Angaben Ph.D in Computer Science, Univ. of Copenhagen, 1994, seit 2006 NASA's Jet Propulsion Laboratory, Pasadena, Los Angeles, USA
Beziehungen zu Organisationen Jet Propulsion Laboratory (2006-)
Systematik 30p Personen zu Informatik, Datenverarbeitung
Typ Person (piz)
Autor von 3 Publikationen
  1. On monitoring linear temporal properties
    Enthalten in Formal methods in system design 22.6.2023: 1-21
  2. What can we monitor over unreliable channels?
    Enthalten in International journal on software tools for technology transfer 30.6.2021: 1-22
  3. ...
Beteiligt an 12 Publikationen
  1. Formal Methods
    Cham : Springer International Publishing, 2018, 1st edition 2018
  2. Inferring event stream abstractions
    Enthalten in Formal methods in system design 27.2.2018: 1-29
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration