Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Schlich, Bastian"'
Publikováno v:
EPTCS 102, 2012
This volume contains the papers accepted at the 7th Systems Software Verification Conference (SSV 2012), held in Sydney, November 28-30, 2012. The aim of SSV workshops and conference series is to bring together researchers and developers from both ac
Externí odkaz:
http://arxiv.org/abs/1211.5873
Publikováno v:
In IFAC Proceedings Volumes 2014 47(2):400-405
Publikováno v:
In IFAC Proceedings Volumes June 2009 42(5):28-33
Publikováno v:
Electronic Notes in Theoretical Computer Science. 254:1-3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d978dc5d04a0a10ba66e5ab52a4b7397
https://doi.org/10.1016/j.entcs.2009.09.056
https://doi.org/10.1016/j.entcs.2009.09.056
Autor:
Schlich, Bastian
Publikováno v:
Aachen : RWTH Aachen, Department of Computer Science, Aachener Informatik-Berichte 2008,14 IV, 159 S. : graph. Darst. (2008). = Zugl.: Aachen, Techn. Hochsch., Diss., 2008
Software of microcontrollers is getting more and more complex. It is mandatory to extensively analyze their software as errors can lead to severe failures or cause high costs. Model checking is a formal method used to verify whether a system satisfie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______791::2ba4a972830ae0fa9d7bc6455cbcdc1e
Autor:
Albert, Timo, Amiri, Zahir, Hasanbegovic, Dino, Kamdem, Narcisse K., Kotthoff, Christian, Müller, Dennis, Niggemeier, Matthias, Pavlenko, Andre, Pinschke, Stefan, Salemi, Alireza, Schlich, Bastian, Schmitz, Alexander
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49cd54fd62616dc633e9464d583f9d42
http://hdl.handle.net/2003/2724
http://hdl.handle.net/2003/2724
Autor:
Albert, Timo, Amiri, Zahir, Gruhn, Volker, Hasanbegovic, Dino, Kemogne Kamdem, Narcisse, Kotthoff, Christian, Müller, Dennis, Niggemeier, Matthias, Pavlenko, Andre, Salemi, Alireza, Schlich, Bastian, Schmitz, Alexander, Schöpe, Lothar
Internes Memorandum des Lehrstuhls für Software-Technologie / Fachbereich Informatik, Universität Dortmund ; 135
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a27ba2af1a869865f1ad8e4811e0de45
Autor:
Simon, Hendrik, Friedrich, Nico, Biallas, Sebastian, Hauck-Stattelmann, Stefan, Schlich, Bastian, Kowalewski, Stefan
Publikováno v:
2015 IEEE International Conference on Cyber Technology in Automation, Control & Intelligent Systems (CYBER); 2015, p1-4, 4p
Autor:
Goldschmidt, Thomas, Murugaiah, Mahesh Kumar, Sonntag, Christian, Schlich, Bastian, Biallas, Sebastian, Weber, Peter
Publikováno v:
2015 IEEE 8th International Conference on Cloud Computing; 2015, p909-916, 8p