Author: "Dustin White" / Database: dblp computer science bibliography - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Dustin White"' showing total 6 results

Start Over Author "Dustin White" Database dblp computer science bibliography

6 results on '"Dustin White"'

1. Architecture and knowledge modelling for self-organized reconfiguration management of cyber-physical production systems.

Author: Timo Müller, Simon Kamm, Andreas Löcklin, Dustin White, Marius Mellinger, Nasser Jazdi, and Michael Weyrich
Published: 2023
Full Text: View/download PDF

2. Variant generation of software-defined mechatronic systems in model-based systems engineering.

Author: Dustin White, Matthias Weiß, Nasser Jazdi, and Michael Weyrich
Published: 2022
Full Text: View/download PDF

3. Towards establishing formal verification and inductive code synthesis in the PLC domain.

Author: Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, and Michael Weyrich
Published: 2021
Full Text: View/download PDF

4. Digital Twin for Verification and Validation of Industrial Automation Systems - a Survey.

Author: Andreas Löcklin, Manuel Müller, Tobias Jung, Nasser Jazdi, Dustin White, and Michael Weyrich
Published: 2020
Full Text: View/download PDF

5. Towards establishing formal verification and inductive code synthesis in the PLC domain.

Author: Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, and Michael Weyrich
Published: 2021

6. Clarifications and extensions to tactical waypoint graph algorithms for video games.

Author: Dustin White
Published: 2007
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results