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

Überblick

Veröffentlichungszeitpunkt

  • 2013

Autor/in (verknüpft)

Open-Access-Kennzeichnung

  • Closed Access

Sprachen

  • englisch

Beteiligte Organisationen

  • Fakultät Elektrotechnik

Web of Science ID

  • WOS:000325681600009

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