서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Tappler, Martin"]

검색결과제한

  • Facet Limit
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • -

    재검색

  • 자료유형
    • Academic Journals(9)
    • Reviews(7)
    • Conference Materials(6)
    • Reports(5)
    • Magazines(1)
    • Books(1)

  • 주제어
    • mutation testing(6)
    • model-based testing(5)
    • 80309 software engineering(3)
    • computer science - machine learning(3)
    • computer science - software engineering(3)
    • conformance testing(3)
    • statistics - machine learning(3)
    • ioco(2)
    • model inference(2)
    • mutation testing of computer software(2)
    • reachability analysis(2)
    • refinement(2)
    • symbolic execution(2)
    • testing(2)
    • verification(2)
    • [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni](1)
    • [info]computer science [cs](1)
    • action model (communication)(1)
    • action systems(1)
    • autonomous vehicle(1)
    • behavior modeling(1)
    • bottlenecks (manufacturing)(1)
    • computer and information sciences(1)
    • computer science - logic in computer science(1)
    • computer sciences(1)
    • data- och informationsvetenskap(1)
    • datavetenskap (datalogi)(1)
    • finite-state machines(1)
    • flight recorders(1)
    • hybrid systems(1)
    • inference (logic)(1)
    • machine learning(1)
    • machine theory(1)
    • mutation(1)
    • natural sciences(1)
    • naturvetenskap(1)
    • platooning(1)
    • software verification(1)
    • statistical model-checking(1)
    • stochastic systems(1)
    • symbolic computation(1)
    • systems(1)
    • systems design(1)
    • test-case generation(1)

  • 저널
    • journal of logical and algebraic methods in programming(4)
    • journal of automated reasoning(3)
    • formal methods in system design(2)
    • electronic notes in theoretical computer science(1)
    • entcs: electronic notes in theoretical computer science(1)
    • formal methods---the next 30 years(1)
    • nasa formal methods(1)
    • runtime verification(1)
    • the 1st workshop on uses of symbolic execution (use)(1)
    • theory & practice of formal methods(1)
    • theory and practice of formal methods(1)

  • 발행처
    • figshare(3)
    • springer(3)
    • springer nature(3)
    • springer, cham(3)
    • elsevier b.v.(2)
    • elsevier inc.(1)
    • elsevier sci. b. v., amsterdam(1)
    • elsevier science inc(1)
    • springer international publishing(1)
    • springer, [cham](1)

  • 언어
    • english(20)

  • 수록DB
    • MathSciNet via EBSCOhost(7)
    • OpenAIRE(6)
    • arXiv(5)
    • Complementary Index(3)
    • Science Citation Index(3)
    • Supplemental Index(2)
    • ScienceDirect(2)
    • SwePub(1)

29

1 - 10 다음페이지로

내보내기

내보내기
내보내기 형식을 선택하세요.

o RefWorks에서 이용 가능한 형식으로 반출합니다.

o EndNote에서 이용 가능한 형식으로 반출합니다.

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.
123