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

Validating and verifying the requirements and design of a h..:

Hoang, Thai Son ; Snook, Colin ; Salehi, Asieh..
Science of Computer Programming.  158 (2018)  - p. 122-147 , 2018
Link: https://doi.org/10.1016/..
 
?
2

Rapid Creation of Interactive Formal Prototypes for Validat..:

Ladenberger, Lukas , 2017
Link: http://nbn-resolving.de/..
 
?
3

Validation of the ABZ landing gear system using ProB:

Ladenberger, Lukas ; Hansen, Dominik ; Wiegard, Harald..
International Journal on Software Tools for Technology Transfer.  19 (2015)  2 - p. 187-203 , 2015
Link: https://doi.org/10.1007/..
 
?
4

A method and tool for tracing requirements into specificati..:

Hallerstede, Stefan ; Jastram, Michael ; Ladenberger, Lukas
Science of Computer Programming.  82 (2014)  - p. 2-21 , 2014
Link: https://doi.org/10.1016/..
 
?
5

A formal approach to safety verification of railway signali..:

, In: 2012 Proceedings Annual Reliability and Maintainability Symposium,
Russo, Aryldo G ; Ladenberger, Lukas - p. 1-4 , 2012
Link: https://doi.org/10.1109/..
 
?
6

Validating and verifying the requirements and design of a h..:

Hoang, Thai Son ; Snook, Colin ; Salehi Fathabadi, Asieh..
https://eprints.soton.ac.uk/415687/1/HDMachine_scp2016.pdf.  , 2017
Link: https://eprints.soton.ac..
 
?
7

Formal specification of a Haemodialysis Machine (HD Machine..:

Hoang, Thai Son ; Snook, Colin ; Ladenberger, Lukas.
https://eprints.soton.ac.uk/401360/1/HDMachine_SCP_161010.zip.  , 2016
Link: https://eprints.soton.ac..
 
?
8

Petrogenesis of Miocene alkaline volcanic suites from weste..:

Ulrych, Jaromír ; Krmíček, Lukáš ; Tomek, Čestmír...
Geochemistry.  76 (2016)  1 - p. 77-93 , 2016
Link: https://doi.org/10.1016/..
 
1-8