365 research outputs found
Jakob Lüroth / neu hrsg. von Gabriele Dörflinger, Universitätsbibliothek Heidelberg
Nachruf auf den vielseitigen Mathematiker Jakob Lüroth (1844-1910), der 1867/68 in Heidelberg lehrte. 1869 wurde er in Karlsruhe ordentlicher Professor und folgte 1880 einem Ruf an die Technische Hochschule in München. Enthält ein Verzeichnis der Schriften Lüroths
Verzeichnis der Schriften von J. LĂĽroth
Schriftenverzeichnis des Mathematikers Jakob LĂĽroth, erstellt von Alexander von Brill und Max Noether nach einem von J. LĂĽroth hinterlassenen Manuskript
Modelling and certification for electric mobility
The EnergyBus specification is the basis of an ongoing joint IEC/ISO standardisation effort focussing on public charging infrastructures for and interoperability of light electric vehicle components. This paper highlights how these efforts are supported by formal methods, starting at the design and specification level, up to establishing a certification framework for standards compliance of devices implementing the specification. The Modest Toolset supports the model-based analysis methods needed in this context
- …