( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems.

, , , , , и . RSSRail, том 14198 из Lecture Notes in Computer Science, стр. 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.

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

 

Другие публикации лиц с тем же именем

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., , , , и . Sci. Comput. Program., (2020)Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems., , , , , и . RSSRail, том 14198 из Lecture Notes in Computer Science, стр. 165-177. Springer, (2023)Certified Embedding of B Models in an Integrated Verification Framework., , , , и . TASE, стр. 168-175. IEEE, (2019)B-PERFect - Applying the PERF Approach to B Based System Developments., , , , и . RSSRail, том 10598 из Lecture Notes in Computer Science, стр. 160-172. Springer, (2017)Gateway Selection Optimization in Hybrid MANET-Satellite Network., , , , и . WISATS, том 154 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 331-344. Springer, (2015)