Nico Adler

  1. Home
  2. search page
  3. author

Nico Adler

소속 기관: Vector Informatik GmbH Germany
국가: Germany
주요 연구 분야: Verification
주요 키워드: #challenging #engineering #complex

📄 저자 정보

출판수 2
총 인용수 4
평균 인용수 2.00
좋아요 수 0
연도별 출판 논문
파트별 논문
저자 키워드
공동 저자 관계도

논문 목록 (2건)

XANDAR: exploiting the x-by-construction paradigm in model-based development of safety-critical systems
저자: Leonard Masing , Tobias Dörr , Florian Schade , Michail Mavropoulos , Konstantinos Antonopoulos , Christos Panagiotou , Dimitris Karadimas , Nico Adler , Andreas Sailer , Raphael Weber , Thomas Wilhelm , Victor Morales , JÜrgen Becker , Georgios Keramidas , Christos P Antonopoulos , Efstratios Tiganourias , Vasilios I Kelefouras , Nikolaos S Voros , Umut Durak , Alexander Ahlbrecht , Wanja Zaeske , Geza Nemeth , Fahad Siddiqui , Rafiullah Khan , V. Garousi , Sakir Sezer
키워드: #challenging #security #automation #metamodel #construction
파트: Verification | 연도: 2022
XANDAR: X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems
저자: Jürgen Becker , Leonard Masing , Tobias Dörr , Florian Schade , Georgios Keramidas , Christos P. Antonopoulos , Michail Mavropoulos , Efstratios Tiganourias , Vasilios Kelefouras , Konstantinos Antonopoulos , Nikolaos Voros , Umut Durak , Alexander Ahlbrecht , Wanja Zaeske , Christos Panagiotou , Dimitris Karadimas , Nico Adler , Andreas Sailer , Raphael Weber , Thomas Wilhelm , Florian Oszwald , Dominik Reinhardt , Mohamad Chamas , Adnan Bekan , Graham Smethurst , Fahad Siddiqui , Rafiullah Khan , Vahid Garousi , Sakir Sezer , Victor Morales
키워드: #engineering #challenging #complex #rapid #prototyping
파트: Verification | 연도: 2021