Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Christoph Gentsch"'
Autor:
Nils Maurer, Marcel Tiepelt, Gabi Dreo Rodosek, Thomas Graupl, Christoph Gentsch, Corinna Schmitt, Tobias Guggemos
Publikováno v:
EuroS&P Workshops
In Europe the Single European Sky air traffic management master plan foresees the introduction of several modern digital data links for aeronautical communications. The candidate for long-range continental communications is LDACS. LDACS is a cellular
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends ISBN: 9783030837228
ISoLA (4)
ISoLA (4)
As the number of available static analysis security testing (SAST) tools grows, the more difficult it becomes for developers to decide which tool(s) to use. We report on our evaluation of 11 open-source general-purpose SAST tools for the C programmin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7d8c298fe87fba7d9353ceab7379aff9
https://elib.dlr.de/143645/
https://elib.dlr.de/143645/
Publikováno v:
SECRYPT
Aeronautical communications systems are currently undergoing a modernization process. Analogue legacy systems shall be replaced with modern digital alternatives, offering higher bandwidth, increasing capacity and paving the way for Unmanned Aeronauti
Autor:
Sascha Schäuble, Susanne Brandes, Silvio Waschina, Kathrin Schmeißer, Kim Zarse, Juliane Gebauer, Nicola Zamboni, Lukas Klimmasch, Christoph Gentsch, Johannes Mansfeld, Michael Ristow, Christoph Kaleta, Stefan Schuster
Publikováno v:
Cell Systems. 2:312-322
We present a genome-scale model of Caenorhabditis elegans metabolism along with the public database ElegCyc (http://elegcyc.bioinf.uni-jena.de:1100), which represents a reference for metabolic pathways in the worm and allows for the visualization as