Solving Maxwell’s equations in particle-in-cell simulations
CASUS Institue Seminar, Klaus Steiniger, HZDR Location: CASUS Lecture Room, Görlitz Particle-in-cell (PIC) simulations solve the…
An Introduction to Software Verification using Model Checking Techniques
CASUS Seminar on Numerical Techniques and Algorithms, Gyula Sallai, SonarSource S.A. As embedded systems are becoming…