Automated Formal Verification of Routing in Material Handling Systems uri icon Wissenschaftlicher Artikel

Im Bibliotheksbestand

Überblick

Freigegeben

  • Ja

AutorInnen

  • Klotz, Thomas
  • Schonherr, Jens
  • Schönherr, Jens
  • Sesler, Norman
  • Straube, Bernd
  • Turek, Karsten

Veröffentlichungszeitpunkt

  • 2013

Open-Access-Kennzeichnung

  • Closed Access

Peer Reviewed

  • Nein

Sprachen

  • englisch

Im Bibliotheksbestand

  • Ja Im Bibliotheksbestand

Forschung

Schlagwörter

  • Airports
  • Baggage handling systems (BHS)
  • Formal verification
  • Materials handling
  • Materials handling equipment
  • Model checking
  • Routing
  • material handling systems (MHS)

Identität

International Standard Serial Number (ISSN )

  • 15455955

weitere Informationen zum Dokument

Band

  • 10

Heftnummer

  • 4

Anderes

Kuratierungs-Zielkategorie (intern)

  • Ja