%0 Conference Paper %1 schulz2018verification %A Schulz, Bernd %A Annighoefer, Bjoern %B 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) %C Piscataway, NJ %D 2018 %I IEEE %K %P 78-84 %R 10.1109/DASC.2018.8569268 %T A Verification Algorithm for the Automatic Topology Discovery of the Adaptive Avionics Platform %@ 978-1-5386-4112-5

@inproceedings{schulz2018verification, added-at = {2023-08-31T16:39:02.000+0200}, address = {Piscataway, NJ}, affiliation = {Schulz, B (Reprint Author), Univ Stuttgart, Inst Luftfahrtsyst, Stuttgart, Germany. Schulz, Bernd; Annighoefer, Bjoern, Univ Stuttgart, Inst Luftfahrtsyst, Stuttgart, Germany.}, author = {Schulz, Bernd and Annighoefer, Bjoern}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ec4c1a02d774902dc9be100d965ee2b8/puma-wartung}, booktitle = {2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC)}, doi = {10.1109/DASC.2018.8569268}, eventdate = {2018-09-23/2018-09-27}, eventtitle = {2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC)}, interhash = {82cd0d091f7c3112e40feb0272820b27}, intrahash = {ec4c1a02d774902dc9be100d965ee2b8}, isbn = {978-1-5386-4112-5}, keywords = {}, language = {eng}, pages = {78-84}, publisher = {IEEE}, research-areas = {Engineering}, timestamp = {2023-08-31T14:39:02.000+0200}, title = {A Verification Algorithm for the Automatic Topology Discovery of the Adaptive Avionics Platform}, unique-id = {ISI:000455217900016}, venue = {London, England}, year = 2018 }