학술논문
'학술논문'
에서 검색결과 28건 | 목록
1~10
Academic Journal
Behdenna, Abdelkader; Colange, Maximilien; Haziza, Julien; Gema, Aryo; Appé, Guillaume; Azencott, Chloé-Agathe; Nordor, Akpéli
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
2015 15th International Conference on Application of Concurrency to System Design Application of Concurrency to System Design (ACSD), 2015 15th International Conference on. :50-59 Jun, 2015
Report
Jacobs, Swen; Basset, Nicolas; Bloem, Roderick; Brenguier, Romain; Colange, Maximilien; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Michaud, Thibaud; Pérez, Guillermo A.; Raskin, Jean-François; Sankur, Ocan; Tentrup, Leander
EPTCS 260, 2017, pp. 116-143
Conference
2012 12th International Conference on Application of Concurrency to System Design Application of Concurrency to System Design (ACSD), 2012 12th International Conference on. :164-172 Jun, 2012
검색 결과 제한하기
제한된 항목
[AR] Colange, Maximilien
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어