Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2013Automated formal verification of routing in material handling systems
Klotz, Thomas; Schönherr, Jens; Seßler, Norman; Straube, Bernd; Turek, Karsten
Zeitschriftenaufsatz
2012Compositional verification of material handling systems
Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens
Konferenzbeitrag
2012On the formal verification of routing in material handling systems
Klotz, Thomas; Seßler, Norman; Straube, Bernd; Fordran, Eva; Turek, Karsten; Schönherr, Jens
Konferenzbeitrag