( en | de | ru )

 

Disambiguation of "Hansen, Dominik"

Author of the publication

copydeleteadd this publication to your clipboard
Validation of the ABZ Landing Gear System Using ProB.

, , , , and . ABZ (Case Study), volume 433 of Communications in Computer and Information Science, page 66-79. Springer, (2014)

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.

Flemming Hansen

Standards in der sozialen Arbeit. Uni Kassel, (2009)

Dominik Heiss

Spin Storage in quantum dot ensembles and single quantum dots. TU München, (2009)

Dominik Bernhardt

Zeitabhängige, multimodale Modellierung und Analyse von Herzdaten. Uni Karlsruhe, (2009)

Dominik Lübbers

Adaptive multimodale Exploration von Musiksammlungen. TU Aachen, (2009)

Dominik Berliner

Untersuchungen der Mikrozirkulation bei diabetischen Patienten mittels Laser-Doppler-Flowmetrie und Messung des transkutanen Sauerstoffpartialdrucks unter besonderer Berücksichtigung der limited joint mobility. Uni Gießen, (2009)
 

Other publications of authors with the same name

Validation of the ABZ Landing Gear System Using ProB., , , , and . ABZ (Case Study), volume 433 of Communications in Computer and Information Science, page 66-79. Springer, (2014)Translating TLA + to B for Validation with ProB., and . IFM, volume 7321 of Lecture Notes in Computer Science, page 24-38. Springer, (2012)Translating B to TLA+ for validation with TLC., and . Sci. Comput. Program., (2016)Translating B to TLA + for Validation with TLC., and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 40-55. Springer, (2014)Generating Event-B Specifications from Algorithm Descriptions., , , , and . ABZ, volume 9675 of Lecture Notes in Computer Science, page 183-197. Springer, (2016)Using B and ProB for Data Validation Projects., , and . ABZ, volume 9675 of Lecture Notes in Computer Science, page 167-182. Springer, (2016)Validation of the ABZ landing gear system using ProB., , , , and . Int. J. Softw. Tools Technol. Transf., 19 (2): 187-203 (2017)A Multi-target Code Generator for High-Level B., , , and . IFM, volume 11918 of Lecture Notes in Computer Science, page 456-473. Springer, (2019)Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains., , , , , , , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 292-306. Springer, (2018)