I agree that this site is using cookies. You can find further informations here.
X
Ahrendt, Philipp
3  results:
Search for persons X
?
1

Considering Uncertainty in Railway Systems (CURSe):

Haehn, Rebecca ; Kotowski, Niklas ; Ahrendt, Philipp.
doi:10.1007/978-3-031-05814-1_4.  , 2022
Link: https://zenodo.org/recor..
 
?
2

TriCo—Triple Co-piloting of Implementation, Specification a..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Ahrendt, Wolfgang ; Gurov, Dilian ; Johansson, Moa. - p. 174-187 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Practical Aspects of Automated Deduction for Program Verifi..:

Ahrendt, Wolfgang ; Beckert, Bernhard ; Giese, Martin.
KI - Künstliche Intelligenz.  24 (2010)  1 - p. 43-49 , 2010
Link: https://doi.org/10.1007/..
 
1-3