서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Mallet, Frederic"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(22)
    • Conference Materials(16)
    • Magazines(2)
    • Books(1)

  • 주제어
    • marte(9)
    • model checking(6)
    • uml(6)
    • semantics(5)
    • time(5)
    • uncertainty(5)
    • verification(5)
    • clocks(4)
    • computing and processing(4)
    • events(4)
    • analytical models(3)
    • automata(3)
    • ccsl(3)
    • computational modeling(3)
    • computer architecture(3)
    • embedded computer systems(3)
    • esterel(3)
    • language(3)
    • logical time(3)
    • performance evaluation(3)
    • ports (computers)(3)
    • probabilistic automata(3)
    • software(3)
    • statistical model checking(3)
    • statistical models(3)
    • checking(2)
    • cyber-physical systems(2)
    • embedded systems(2)
    • engineering profession(2)
    • fsl(2)
    • maude(2)
    • modeling(2)
    • periodic scheduling(2)
    • reachability analysis(2)
    • rewriting logic(2)
    • specification(2)
    • synchronous languages(2)
    • sysml(2)
    • unified modeling language(2)
    • [ info.info-es ] computer science [cs]/embedded systems(1)
    • [info.info-es]computer science [cs]/embedded systems(1)
    • [info:info_mo] computer science/modeling and simulation(1)
    • aadl(1)
    • adenocarcinoma(1)
    • arcadia(1)
    • architecture analysis & design language(1)
    • calculus(1)
    • communication, networking and broadcast technologies(1)
    • components, circuits, devices and systems(1)
    • computers(1)

  • 저널
    • science of computer programming(6)
    • frontiers of computer science(3)
    • ieee transactions on computer-aided design of integrated circuits & systems(3)
    • design automation for embedded systems(2)
    • journal of the chemical society, transactions(2)
    • 10th acm/ieee international conference on formal methods & models for codesign(1)
    • 2011 18th asia pacific software engineering conference (apsec)(1)
    • 2012 23rd ieee international symposium on rapid system prototyping (rsp)(1)
    • 2012 38th euromicro conference on software engineering & advanced applications(1)
    • 2012 sixth international symposium on theoretical aspects of software engineering(1)
    • 2013 18th international conference on engineering of complex computer systems(1)
    • 2013 23rd international workshop on power & timing modeling, optimization & simulation (patmos)(1)
    • 2014 theoretical aspects of software engineering conference(1)
    • 2015 acm/ieee 18th international conference on model driven engineering languages & systems (models)(1)
    • 2016 11th ieee symposium on industrial embedded systems (sies)(1)
    • 2016 11th ieee symposium on industrial embedded systems (sies), industrial embedded systems (sies), 2016 11th ieee symposium on(1)
    • 2016 international conference on information systems engineering (icise)(1)
    • 2018 forum on specification & design languages (fdl), specification & design languages (fdl), 2018 forum on(1)
    • 2019 26th asia-pacific software engineering conference (apsec), software engineering conference (apsec), 2019 26th asia-pacific(1)
    • 2019 international symposium on theoretical aspects of software engineering (tase), theoretical aspects of software engineering (tase), 2019 international symposium on(1)
    • acm sigplan notices(1)
    • annales durologie(1)
    • annales d'urologie(1)
    • crossroads(1)
    • crossroads: the international acm student magazine(1)
    • ieee transactions on computer-aided design of integrated circuits and systems(1)
    • lecture notes in computer science software engineering and formal methods(1)
    • proceedings of the 2014 forum on specification & design languages (fdl)(1)
    • software and systems modeling(1)

  • 발행처
    • ieee(19)
    • elsevier b.v.(3)
    • elsevier science bv(3)
    • higher education press(3)
    • springer(3)
    • escholarship, university of california(2)
    • royal society of chemistry(2)
    • assoc computing machinery(1)
    • association for computing machinery(1)
    • elsevier masson sas(1)
    • expansion scientifique francaise(1)
    • ieee-inst electrical electronics engineers inc(1)
    • springer heidelberg(1)

  • 언어
    • english(39)
    • french(2)
    • undetermined(2)

  • 수록DB
    • Complementary Index(16)
    • Science Citation Index(11)
    • ScienceDirect(4)
    • IEEE Xplore Digital Library(4)
    • OpenAIRE(3)
    • Supplemental Index(1)
    • SwePub(1)
    • Academic Search Complete(1)
    • Business Source Complete(1)
    • MEDLINE(1)
    • eScholarship(1)
    • Networked Digital Library of Theses & Dissertations(1)

45

1 - 10 다음페이지로

내보내기

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

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

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