학술논문
'학술논문'
에서 검색결과 24건 | 목록
1~10
Academic Journal
In Systems & Control Letters October 2016 96:51-59
Report
42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022), Jun 2022, Lucca, Italy
Report
Duret-Lutz, Alexandre; Renault, Etienne; Colange, Maximilien; Renkin, Florian; Gbaguidi, Alexandre; Schlehuber-Caissier, Philipp; Medioni, Thomas; Martin, Antoine; Dubois, Jérôme; Gillard, Clément; Lauko, Henrich
Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel
Report
Jacobs, Swen; Perez, Guillermo A.; Abraham, Remco; Bruyere, Veronique; Cadilhac, Michael; Colange, Maximilien; Delfosse, Charly; van Dijk, Tom; Duret-Lutz, Alexandre; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Luttenberger, Michael; Meyer, Klara; Michaud, Thibaud; Pommellet, Adrien; Renkin, Florian; Schlehuber-Caissier, Philipp; Sakr, Mouhammad; Sickert, Salomon; Staquet, Gaetan; Tamines, Clement; Tentrup, Leander; Walker, Adam
Academic Journal
Jacobs, Swen; Pérez, Guillermo A.; Abraham, Remco; Bruyère, Véronique; Cadilhac, Michaël; Colange, Maximilien; Delfosse, Charly; van Dijk, Tom; Duret-Lutz, Alexandre; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Luttenberger, Michael; Meyer, Klara; Michaud, Thibaud; Pommellet, Adrien; Renkin, Florian; Schlehuber-Caissier, Philipp; Sakr, Mouhammad; Sickert, Salomon; Staquet, Gaëtan; Tamines, Clément; Tentrup, Leander; Walker, Adam
International Journal on Software Tools for Technology Transfer. :1-17
Conference
2018 Annual American Control Conference (ACC) American Control Conference (ACC), 2018 Annual. :2869-2876 Jun, 2018
In Science of Computer Programming June 2023
검색 결과 제한하기
제한된 항목
[AR] Schlehuber-Caissier, Philipp
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어