Carlos E. Budde

Creating a system to compare libraries across programming languages effectively.

Examining new developments in tools for verifying complex systems.

Combining Stochastic State Classes and simulation offers better analysis of complex systems.

Learn how to use sound statistical methods for better decision-making in complex systems.

Researchers enhance truck and shovel coordination in open-pit mining.