서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Lorber, Florian"]

검색결과제한

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

    재검색

  • 자료유형
    • Conference Materials(12)
    • Reports(5)
    • Academic Journals(5)
    • Books(5)
    • Reviews(3)

  • 주제어
    • model-based testing(6)
    • test-case generation(4)
    • computer science - software engineering(3)
    • empirical software engineering(3)
    • formal specification(3)
    • model-based engineering(3)
    • model-driven engineering(3)
    • requirements engineering(3)
    • requirements modelling(3)
    • test case generation(3)
    • timed automata(3)
    • traceability(3)
    • verification(3)
    • computer and information science(2)
    • computer interfaces(2)
    • computer science - logic in computer science(2)
    • consistency checking(2)
    • data flow computing(2)
    • data- och informationsvetenskap(2)
    • information technology(2)
    • programming languages(2)
    • programvaruteknik(2)
    • software engineering(2)
    • synchronous systems(2)
    • systems theory(2)
    • adaptation models(1)
    • automata(1)
    • clocks(1)
    • computer science - formal languages and automata theory(1)
    • computer science - machine learning(1)
    • computer systems(1)
    • computing and processing(1)
    • conformance(1)
    • cost accounting(1)
    • datorsystem(1)
    • design(1)
    • determinization(1)
    • embedded systems(1)
    • inbaddad systemteknik(1)
    • language(1)
    • model checking(1)
    • model-based mutation testing(1)
    • mutation(1)
    • real-time systems(1)
    • simulink(1)
    • specification(1)
    • testing(1)
    • testing strategies(1)
    • timing(1)
    • ulysses(1)

  • 저널
    • international journal on software tools for technology transfer(3)
    • real-time systems(2)
    • 2012 sixth international symposium on theoretical aspects of software engineering(1)
    • 2014 14th international conference on quality software(1)
    • 2014 2nd international conference on model-driven engineering & software development (modelsward)(1)
    • 2015 ieee 8th international conference on software testing, verification & validation (icst)(1)
    • 2015 ieee eighth international conference on software testing, verification & validation workshops (icstw)(1)
    • 2017 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2017 ieee international conference on, icstw(1)
    • computer safety, reliability & security: 33rd international conference, safecomp 2014, florence, italy, september 10-12, 2014. proceedings(1)
    • formal methods(1)
    • formal methods for industrial critical systems: 20th international workshop, fmics 2015 oslo, norway, june 22-23, 2015 proceedings(1)
    • formal modeling & analysis of timed systems: 13th international conference, formats 2015, madrid, spain, september 2-4, 2015, proceedings(1)
    • proceedings ninth international symposium on games, automata, logics, and formal verification(1)
    • tests & proofs (9783642389153)(1)
    • theory & practice of formal methods(1)
    • theory and practice of formal methods(1)

  • 발행처
    • springer nature(8)
    • ieee(6)
    • eptcs, [place of publication not identified](1)
    • springer(1)
    • springer heidelberg(1)
    • springer, [cham](1)
    • springer, cham(1)

  • 언어
    • english(22)

  • 수록DB
    • Complementary Index(12)
    • arXiv(5)
    • MathSciNet via EBSCOhost(3)
    • SwePub(3)
    • Science Citation Index(2)
    • IEEE Xplore Digital Library(1)
    • Academic Search Complete(1)

27

1 - 10 다음페이지로

내보내기

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

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

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

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