전남대학교 중앙도서관

  • 중앙도서관
  • 여수캠퍼스도서관
  • 법학도서관
  • 치의학도서관
  • 의학도서관

링크메뉴

  • 화면키우기 화면줄이기 화면크기 원래대로
  • S
  • HOME
  • 로그인
  • 전남대
  • ENG
  • CHN

주메뉴

전체메뉴

전자자료 상세검색

전자자료 상세검색

통합검색
상세검색
검색어 [키워드: "Bajczi, Levente"]
총 7건 
※ 중복 레코드가 제거된 검색 결과가 표시됩니다.
1/1 페이지 RSS 엑셀파일 출력
검색결과수정
  • 검색범위확장
    • Full Text내 키워드 확장
    • 관련 주제어 확장

    재검색

  • 검색결과제한
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • 발행년 -

    재검색

  • 자료유형
    • eBooks (4)
    • Academic Journals (3)
    • Conference Materials (3)

    더보기

    재검색

  • 주제
    • analysis (3)
    • concurrent (3)
    • fault (3)

    더보기

    재검색

  • 간행물
    • tools and algorithms for the construction and analysis of systems : 30th international conference, tacas 2024, held as part of the european joint conferences on theory and practice of software, etaps 2024, luxembourg city, luxembourg, april 6-11, 2024, proceedings, part iii (3)
    • acm transactions on embedded computing systems (2)
    • 2022 ieee/acm 10th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2022 ieee/acm 10th international conference on, formalise (1)

    더보기

    재검색

  • 출판사
    • springer nature switzerland (3)
    • acm (2)
    • assoc computing machinery (1)

    더보기

    재검색

  • 언어
    • english (5)

    재검색

  • 수록데이터베이스
    • Springer Nature eBooks (4)
    • ACM Full-Text Collection (2)
    • arXiv (1)

    더보기

    재검색

  • PQDTSearch
  • CAJSearch
  • RISSSearch
  • PsycINFOSearch

 

2
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution) 미리보기

전자책

issue
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III. 14572:412-417
Author
Bajczi, LeventeAff3
Telbisz, CsanádAff3
Somorjai, MárkAff3
Ádám, ZsófiaAff3
Dobos-Kovács, MihályAff3
Szekeres, DánielAff3
Mondok, MilánAff3
Molnár, VinceAff3
DB Label
Database : Springer Nature eBooks
원문보기
3
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution) 미리보기

전자책

issue
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III. 14572:371-375
Author
Bajczi, LeventeAff3
Szekeres, DánielAff3
Mondok, MilánAff3
Ádám, ZsófiaAff3
Somorjai, MárkAff3
Telbisz, CsanádAff3
Dobos-Kovács, MihályAff3
Molnár, VinceAff3
DB Label
Database : Springer Nature eBooks
원문보기
4
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution) 미리보기

전자책

issue
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III. 14572:330-334
Author
Bajczi, LeventeAff3
Ádám, ZsófiaAff3
Micskei, ZoltánAff3
DB Label
Database : Springer Nature eBooks
원문보기
5
C for Yourself: Comparison of Front-End Techniques for Formal Verification 미리보기

회의자료

issue
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2022 IEEE/ACM 10th International Conference on. :1-11 May, 2022
Author
Bajczi, Levente
Adam, Zsofia
Molnar, Vince
DB Label
Database : IEEE Xplore Digital Library
원문보기
Full Text (IEEE) 
6
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) 미리보기

전자책

issue
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II. 13244:474-478
Author
Ádám, ZsófiaAff10
Bajczi, LeventeAff10
Dobos-Kovács, MihályAff10
Hajdu, ÁkosAff11
Molnár, VinceAff10
DB Label
Database : Springer Nature eBooks
원문보기
Open Access (SpringerOpen eBook) 
7
Will My Program Break on This Faulty Processor? : Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software 미리보기

학술저널

issue
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue ESWEEK 2019, CASES 2019, CODES+ISSS 2019 and EMSOFT 2019. 18(5s):1-21
Author
Bajczi, Levente
Vörös, András
Molnár, Vince
DB Label
Database : ACM Full-Text Collection
원문보기
조회 - Impact Factor (JCR)  등재 - Web of Science (SCIE)  등재 - SCOPUS 
1 
바구니보기

QUICK LINK

  • 희망도서신청
  • 대출/연장조회
  • 서가부재도서
  • 이용교육

마이메뉴추가

QRCode
  • 개인정보호정책
  • 이메일무단수집거부
  • 도서관이용문의

    • 도서관자치위원회  원격제어  Instagram  facebook  w  kakao 플친
500-757 광주광역시 북구 용봉로 77 TEL 062)530-3571~2(대출반납실) FAX 062)530-3529
Copyright@2013 CHONNAM NATIONAL UNIVERSITY LIBRARY, All Rights Reserved.
  • 170790
  • 127181711