{"_id":"QijDKZoC8sNzXZd4N","bibbaseid":"bachmann-lehmanibez-oetting-pejic-bilal-vogel-teilautomatisierteetcsl2planprfungdurchformalisierungdesregelwerks","author_short":["Bachmann, V.","Lehman Ibáñez, P.","Oetting, A.","Pejic, M.","Bilal, Ü.","Vogel, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Bachmann"],"firstnames":["Volkmar"],"suffixes":[]},{"propositions":[],"lastnames":["Lehman","Ibáñez"],"firstnames":["Pedro"],"suffixes":[]},{"propositions":[],"lastnames":["Oetting"],"firstnames":["Andreas"],"suffixes":[]},{"propositions":[],"lastnames":["Pejic"],"firstnames":["Miroslav"],"suffixes":[]},{"firstnames":["Üyümezm"],"propositions":[],"lastnames":["Bilal"],"suffixes":[]},{"propositions":[],"lastnames":["Vogel"],"firstnames":["Salome"],"suffixes":[]}],"date":"2022-08","journaltitle":"Eisenbahningenieur","title":"Teilautomatisierte ETCS L2-Planprüfung durch Formalisierung des Regelwerks","comment":"- Referenzen für Planung, Prüfung, etc. - stellt Architektur für System zur (teil)automatisierten Prüfung vor - liest sich direkt wie eine Software-Architektur","file":":bachmann22teilautomatisierte - Teilautomatisierte ETCS L2-Planprüfung durch Formalisierung des Regelwerks.pdf:PDF","groups":"rail","bibtex":"@Article{bachmann22teilautomatisierte,\n author = {Bachmann, Volkmar and Lehman Ibáñez, Pedro and Oetting, Andreas and Pejic, Miroslav and Üyümezm Bilal and Vogel, Salome},\n date = {2022-08},\n journaltitle = {Eisenbahningenieur},\n title = {Teilautomatisierte ETCS L2-Planprüfung durch Formalisierung des Regelwerks},\n comment = {- Referenzen für Planung, Prüfung, etc.\n- stellt Architektur für System zur (teil)automatisierten Prüfung vor\n\n - liest sich direkt wie eine Software-Architektur},\n file = {:bachmann22teilautomatisierte - Teilautomatisierte ETCS L2-Planprüfung durch Formalisierung des Regelwerks.pdf:PDF},\n groups = {rail},\n}\n\n","author_short":["Bachmann, V.","Lehman Ibáñez, P.","Oetting, A.","Pejic, M.","Bilal, Ü.","Vogel, S."],"key":"bachmann22teilautomatisierte","id":"bachmann22teilautomatisierte","bibbaseid":"bachmann-lehmanibez-oetting-pejic-bilal-vogel-teilautomatisierteetcsl2planprfungdurchformalisierungdesregelwerks","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://bibbase.org/network/files/AsPiHTmHHGjgy6xSQ","dataSources":["wjZw5s4JL49uLwn3p"],"keywords":[],"search_terms":["teilautomatisierte","etcs","planpr","fung","durch","formalisierung","des","regelwerks","bachmann","lehman ibáñez","oetting","pejic","bilal","vogel"],"title":"Teilautomatisierte ETCS L2-Planprüfung durch Formalisierung des Regelwerks","year":null}