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

Executable Documentation: From Documentation Languages to P..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,
Tegeler, Tim ; Boßelmann, Steve ; Schürmann, Jonas... - p. 174-192 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Evaluation of Graphical Modeling of CI/CD Workflows with Ri:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science,
Teumert, Sebastian ; Tegeler, Tim ; Schürmann, Jonas.. - p. 374-388 , 2022
Link: https://doi.org/10.1007/..
 
?
3

An Introduction to Graphical Modeling of CI/CD Workflows wi..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation,
Tegeler, Tim ; Teumert, Sebastian ; Schürmann, Jonas... - p. 3-17 , 2021
Link: https://doi.org/10.1007/..
 
1-3