Logo of Humboldt-Universität zu BerlinLogo of Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Header image: facade of Humboldt-Universität zu Berlin
Browsing Institut für Informatik by Subject 
  • edoc-Server Home
  • Schriftenreihen und Sammelbände
  • Fakultäten und Institute der HU
  • Institut für Informatik
  • Browsing Institut für Informatik by Subject
  • edoc-Server Home
  • Schriftenreihen und Sammelbände
  • Fakultäten und Institute der HU
  • Institut für Informatik
  • Browsing Institut für Informatik by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CommunityTitleAuthorSubject
PublishLoginRegisterHelp
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CommunityTitleAuthorSubject
PublishLoginRegisterHelp
Browsing Institut für Informatik by Subject 
  • edoc-Server Home
  • Schriftenreihen und Sammelbände
  • Fakultäten und Institute der HU
  • Institut für Informatik
  • Browsing Institut für Informatik by Subject
  • edoc-Server Home
  • Schriftenreihen und Sammelbände
  • Fakultäten und Institute der HU
  • Institut für Informatik
  • Browsing Institut für Informatik by Subject

Browsing Institut für Informatik by Subject "Verifikation"

  • 0-9
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z

Sort by:

Order:

Results:

Now showing items 1-2 of 2

  • title
  • issue date
  • submit date
  • ascending
  • descending
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
    • 1997-12-01Buch
      DAWN 
      Petrinetzmodelle zur Verifikation Verteilter Algorithmen
      Weber, Michael; Walter, Rolf; Völzer, Hagen; Vesper, Tobias; Reisig, Wolfgang; Peuker, Sybille; Kindler, Ekkart; Freiheit, Jörn; Desel, Jörg
    • 2007-01-01Buch
      Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung 
      Hohberg, Bodo; Reisig, Wolfgang; Wu, Bixia
      Um Entwurf und Verifikation komplizierter verteilter Algorithmen leichter und verständlicher zu machen, wird oft eine Verfeinerungsmethode verwendet. Dabei wird ein einfacher Algorithmus, der gewünschte Eigenschaften ...
      DINI-Zertifikat 2019OpenAIRE validatedORCID Consortium
      Imprint Policy Contact Data Privacy Statement
      A service of University Library and Computer and Media Service
      © Humboldt-Universität zu Berlin