Publications

ORCID0000-0002-0241-7729
Google Scholarhttps://scholar.google.de/citations?hl=en&user=0ic62YwAAAAJ
DBLPhttps://dblp.uni-trier.de/pers/d/D=uuml=dder:Boris
SCOPUShttps://www.scopus.com/authid/detail.uri?authorId=55794748200

Show all

2008

Düdder, Boris

Formale Verifikation mittels Model Checking in Materialflusssystemen Masters Thesis

TU Dortmund, 2008.

BibTeX | Tags: Formal Method, Formal Verification, Logistic, Material Flow, Material Flow System, Mechanical Engineering, Model Checking

Düdder, Boris; Follert, Guido; Roidl, Moritz

Model Checking in multiagentengesteuerten Materialflusssystemen Proceedings Article

In: Buchholz, Peter (Ed.): Workshop ''Modellierung großer Netze in der Logistik`` in Measurement, Modelling and Evaluation of Computer and Communication Systems, 2008.

BibTeX | Tags: Formal Method, Formal Verification, Logistic, Material Flow, Material Flow System, Mechanical Engineering, Model Checking, Multi-Agent