Zobrazeno 1 - 7
of 7
pro vyhledávání: '"De Landtsheer, Renaud"'
Autor:
von Cube, Philipp, Härtel, Lasse, Schmitt, Robert, Ponsard, Christophe, Massonet, Philippe, De Landtsheer, Renaud, Ospina, Gustavo, Printz, Stephan, Jeschke, Sabina
Publikováno v:
In Procedia CIRP 2016 57:164-170
A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour
Smartcards are security critical devices requiring a high assurance verification approach. Although formal techniques can be used at design or even at development stages, such systems have to undergo a traditional hardware-in-the-loop testing phase.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d9620f9414d60d9109ab14e99f13c2ff
Autor:
De Landtsheer, Renaud, Ospina, Gustavo, Massonet, Philippe, Ponsard, Christophe, Printz, Stephan, Jeschke, Sabina, Härtel, Lasse, von Cube, Johann Philipp, Schmitt, Robert
Publikováno v:
Automation, Communication & Cybernetics in Science & Engineering 2015/2016; 2016, p869-891, 23p
Publikováno v:
Formal Methods for Industrial Critical Systems (9783642410093); 2013, p139-153, 15p
Publikováno v:
Proceedings of the 10th European Software Engineering Conference Held Jointly With 13th ACM SIGSOFT International Symposium: Foundations of Software Engineering; 9/ 5/2005, p41-49, 9p
Autor:
Ospina, Gustavo, De Landtsheer, Renaud
Publikováno v:
SN Computer Science; May 2022, Vol. 3 Issue: 3
Autor:
Cappart, Quentin
Since the dawn of the nineteenth century, development of railway systems has taken a huge importance in many countries. Over the years, the number of trains, the number of tracks, the complexity of networks increase and are still increasing. Directin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1493::17edcd96cccd50322fd8793eedea0769
https://hdl.handle.net/2078.1/192702
https://hdl.handle.net/2078.1/192702