New horizons for the synthesis of nanoparticles: Germanium nanoparticles from metastable GeBr-solutions

Autor: Slynchuk Viktoriia, Hodas Martin, Naglav-Hansen Dominik, Schreiber Frank, Schnepf Andreas

Publikováno v: Main Group Metal Chemistry, Vol 44, Iss 1, Pp 243-249 (2021)

We present the synthesis and characterization of halide-terminated colloidal Ge nanoparticles of 2–10 nm with a narrow size distribution, synthesized via a novel reaction route. The nanoparticles are prepared by the disproportionation reaction of m

Externí odkaz: https://doaj.org/article/0d6ded60d843445684b8d4048f92e691

Holistic Study of Formal Methods and Standardization in Specification, Development, Verification and Validation of Railway Signalling System Software

Autor: Borälv, Arne, Berglehner, Randolf, Cherif, Ibtihel, Fredholm, Daniel, Hansen, Dominik, Magro, Javier, Mejia, Luis-Fernando, Mentré, David, Rasheeq, Abdul, Schwencke, Daniel, Werner, Thomas

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1640::e8b32ee37ea23cb77f30d64a2974ae4f
https://elib.dlr.de/186162/

The use of formal methods in specification and demonstration of ERTMS Hybrid Level 3

Autor: Bartholomeus, Maarten, Luttik, Bas, Willemse, Tim A.C., Hansen, Dominik, Leuschel, Michael, Hendriks, Paul

Publikováno v: IRSE News. Institution of Railway Signal Engineers (IRSE)
ISSUE=260;TITLE=IRSE News

Software has become an essential component in signalling systems. Writing clear, precise and accurate specifications is of course important for these systems. Can formal methods help in this process? An interesting case is the recent development of t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::ebe64a51a9ad387efd47c80326d9c0ab
https://research.tue.nl/nl/publications/d5f86cd4-8b76-4fda-b206-2738c98065a4

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Working Groups: Comparison of Methods and Tools:Summary of Meeting of Workgroup on Methodology

Autor: Fleischmann, Albert, Glässer, Uwe, Hayes , Ian, Hallerstede, Stefan, Hansen , Dominik, Voisin , Laurent, Winter, Kirsten

Publikováno v: Fleischmann, A, Glässer, U, Hayes, I, Hallerstede, S, Hansen, D, Voisin, L & Winter, K 2014, Working Groups: Comparison of Methods and Tools : Summary of Meeting of Workgroup on Methodology . in U Glässer, S Hallerstede, M Leuschel & E Riccobene (eds), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) . vol. Dagstuhl Reports, Volume 3, Issue 9, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Leipzig, Germany, 08/09/2013 . https://doi.org/10.4230/DagRep.3.9.74

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::44234c2a53b9c52d598995454df05b46
https://pure.au.dk/portal/da/publications/working-groups-comparison-of-methods-and-tools(606b6c6d-9692-4247-b388-ea7e64b41356).html