Dr. Kerstin Keil of Neovendi GmbH has been published in the IEEE Communications Magazine (April 2023) as an expert author with several contributors discussing and…
Publications
Updated publications
The poster “ OCORA-Connecta Alignment” has been updated.
Updated publications
The poster “Formal Methods – Manual” has been updated.
Updated publications
The poster “Formal Methods – Automatic” has been updated.
Technical paper ETR
With its “Digital Rail Germany” strategy, Deutsche Bahn is pursuing the goal of becoming more powerful, robust and efficient through the use of modern technology…