메인 콘텐츠로 이동
연구실 목록

Frédéric Boulanger 교수 연구실

Modeling of Critical Systems

파리사클레 대학교 · 형식기법연구소

공식 페이지

정보 출처2026. 10. 31. 확인

대학원 지원 마감

형식기법연구소

  • Master in Computer Science

    2027-28

    • France Excellence Eiffel scholarship — internal deadline

      2026년 11월 26일

    이 날짜는 Eiffel 장학금 학내 마감(석사 코디네이터에게 연락) · 정규 지원은 2027년 2월부터 별도, 2027 Inception 일정은 아직 미공지

    출처: universite-paris-saclay.fr지원 방법2026년 11월 2일 확인

이 연구실, 지원을 고민 중인가요?

관심 연구실에 담아 다른 연구실과 나란히 비교하고, 컨택 준비를 한곳에 모아 두세요.

컨택 메일 보내기 전 체크리스트

소개

파리사클레 대학교 형식기법연구소 소속 Frédéric Boulanger 교수의 등록된 연구 분야는 Model, System, Control, Verification, Validation, Diagnostic, Cyberphysical/Hybrid/Critical systems, Model-driven engineering, Domain Specific Languages, Semantics of Modeling Languages입니다.

연구 키워드

ModelSystemControlVerificationValidationDiagnosticCyberphysical/Hybrid/Critical systemsModel-driven engineeringDomain Specific LanguagesSemantics of Modeling Languages

같은 학과의 다른 연구실

이 학과 연구실 전체 보기