( en | de | ru )

 

Disambiguation of "Halchin, Alexandra"

Author of the publication

copydeleteadd this publication to your clipboard
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems.

, , , , , and . RSSRail, volume 14198 of Lecture Notes in Computer Science, page 165-177. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexandra Müller

Identifizierung eisenreduzierender Mikroorganismen in anoxischem Reisfeldboden mit Hilfe stabiler Isotope. Uni Marburg, (2009)

Alexandra Fies

Die badische Auswanderung im 19. Jahrhundert nach Nordamerika unter besonderer Berücksichtigung des Amtsbezirks Karlsruhe zwischen 1880 - 1914. Uni Karlsruhe, (2009)

Alexandra Kaupisch

Biochemische und Zellbiologische Charakterisierung der humanen Proteinkinase X. Uni Kassel, (2008)

Alexandra Miersch

Alexandra Hasselbeck

 

Other publications of authors with the same name

Development of a Formal Verification Methodology for B Specifications using PERF formal toolkit. Application to safety requirements of railway systems. (Élaboration d'une méthodologie de vérification formelle des spécifications B dans l'Atelier de Preuve PERF. Application aux exigences de sûreté de fonctionnement des systèmes ferroviaires).. National Polytechnic Institute of Toulouse, France, (2021)Handling B models in the PERF integrated verification framework: Formalised and certified embedding., , , , and . Sci. Comput. Program., (2020)Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems., , , , , and . RSSRail, volume 14198 of Lecture Notes in Computer Science, page 165-177. Springer, (2023)Certified Embedding of B Models in an Integrated Verification Framework., , , , and . TASE, page 168-175. IEEE, (2019)Gateway Selection Optimization in Hybrid MANET-Satellite Network., , , , and . WISATS, volume 154 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 331-344. Springer, (2015)B-PERFect - Applying the PERF Approach to B Based System Developments., , , , and . RSSRail, volume 10598 of Lecture Notes in Computer Science, page 160-172. Springer, (2017)