Runtime verification : 07011 abstracts collection ; Dagstuhl seminar

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Klassifikation
Informatik

Ereignis
Veröffentlichung
(wo)
[Wadern]
(wer)
[Internat. Begegnungs- und Forschungszentrum für Informatik]
(wann)
[2008]
Beteiligte Personen und Organisationen
Finkbeiner, Bernd
Havelund, Klaus
Rosu, Grigore
Sokolsky, Oleg

URN
urn:nbn:de:0030-drops-13764
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:52 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Finkbeiner, Bernd
  • Havelund, Klaus
  • Rosu, Grigore
  • Sokolsky, Oleg
  • [Internat. Begegnungs- und Forschungszentrum für Informatik]

Entstanden

  • [2008]

Ähnliche Objekte (12)

Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar

Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar

Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar

Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar

Runtime verification : Dagstuhl seminar 07011 ; January 2-6, 2007 ; executive summary

Runtime verification : Dagstuhl seminar 07011 ; January 2-6, 2007 ; executive summary

Cryptography : 07381 abstracts collection ; Dagstuhl seminar

Cryptography : 07381 abstracts collection ; Dagstuhl seminar

Symmetric cryptography : 07021 abstracts collection ; Dagstuhl seminar

Symmetric cryptography : 07021 abstracts collection ; Dagstuhl seminar

Event processing : 07191 abstracts collection ; Dagstuhl seminar

Event processing : 07191 abstracts collection ; Dagstuhl seminar

Data structures : 04091 abstracts collection ; Dagstuhl seminar

Data structures : 04091 abstracts collection ; Dagstuhl seminar

Fair division : 07261 abstracts collection ; Dagstuhl seminar

Fair division : 07261 abstracts collection ; Dagstuhl seminar

Robot navigation : Dagstuhl seminar ; 06421 abstracts collection

Robot navigation : Dagstuhl seminar ; 06421 abstracts collection

Graph drawing : 05191 abstracts collection ; Dagstuhl seminar

Graph drawing : 05191 abstracts collection ; Dagstuhl seminar

Computational proteomics : 05471 abstracts collection ; Dagstuhl seminar

Computational proteomics : 05471 abstracts collection ; Dagstuhl seminar

Sublinear algorithms : 05291 abstracts collection ; Dagstuhl seminar

Sublinear algorithms : 05291 abstracts collection ; Dagstuhl seminar

Verbundene Objekte