서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Zhan, Naijun"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(65)
    • Books(46)
    • Reviews(42)
    • Conference Materials(32)
    • Reports(28)
    • Magazines(5)

  • 주제어
    • computer science - logic in computer science(20)
    • computer science - systems and control(16)
    • mathematics - optimization and control(11)
    • invariants(10)
    • computer science - symbolic computation(8)
    • hybrid systems(8)
    • formal methods(7)
    • verification(7)
    • automata(6)
    • computer science - formal languages and automata theory(6)
    • software(6)
    • termination(6)
    • computer science::logic in computer science(5)
    • computingmethodologies_symbolicandalgebraicmanipulation(5)
    • mathematics - dynamical systems(5)
    • reachability analysis(5)
    • computational complexity(4)
    • computer science - programming languages(4)
    • continuous-time markov chains(4)
    • d.2.4(4)
    • decidability(4)
    • electrical engineering and systems science - systems and control(4)
    • formal verification(4)
    • nonlinear systems(4)
    • polynomials(4)
    • programming(4)
    • real time systems(4)
    • scheduling(4)
    • symbolic computation(4)
    • time-varying systems(4)
    • trajectory(4)
    • uncertainties(4)
    • uncertainty(4)
    • viscosity(4)
    • computer science(3)
    • conditional logic(3)
    • data flow computing(3)
    • deductive verification(3)
    • design automation(3)
    • execution traces (computer program testing)(3)
    • finite state machines(3)
    • hybrid system(3)
    • integrated circuits(3)
    • invariant(3)
    • machine theory(3)
    • modal logics(3)
    • nonlinear system(3)
    • numerical computation(3)
    • observability(3)
    • opacity (linguistics)(3)

  • 저널
    • formal verification of simulink/stateflow diagrams(16)
    • formal aspects of computing(11)
    • information processing letters(8)
    • ieee transactions on automatic control(5)
    • fm 2016: formal methods(4)
    • information and computation(4)
    • journal of symbolic computation(4)
    • journal of systems science & complexity(4)
    • science of computer programming(4)
    • frontiers of computer science in china(3)
    • ieee transactions on computer-aided design of integrated circuits & systems(3)
    • journal of software. ruanjian xuebao(3)
    • computer aided verification. part i(2)
    • computer aided verification. part ii(2)
    • electronic notes in theoretical computer science(2)
    • fm 2012: formal methods(2)
    • fm 2014: formal methods(2)
    • fm 2015: formal methods(2)
    • hscc 2018---proceedings of the 21st international conference on hybrid systems: computation and control(2)
    • institute of electrical and electronics engineers. transactions on automatic control(2)
    • journal of computer science and technology(2)
    • journal of systems science \& complexity(2)
    • journal of systems science and complexity(2)
    • mathematics in computer science(2)
    • science china-information sciences(2)
    • 2016 european control conference (ecc), control conference (ecc), 2016 european(1)
    • acm transactions on software engineering and methodology(1)
    • acta informatica(1)
    • automated deduction---cade 27(1)
    • automated reasoning(1)
    • computer aided verification(1)
    • computer journal(1)
    • computer science logic (fischbachau, 2000)(1)
    • entcs: electronic notes in theoretical computer science(1)
    • formal methods and software engineering(1)
    • hscc'13---hybrid systems: computation and control(1)
    • ieee transactions on computer-aided design of integrated circuits and systems(1)
    • information & computation(1)
    • mathematical structures in computer science(1)
    • mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science(1)
    • nordic journal of computing(1)
    • proceedings seventh international conference on real-time computing systems and applications, real-time computing systems and applications, 2000. proceedings. seventh international conference on(1)
    • proceedings sixth international conference on real-time computing systems and applications. rtcsa'99 (cat. no.pr00306), real-time computing systems and applications, 1999. rtcsa '99. sixth international conference on(1)
    • provably correct systems(1)
    • science china. information sciences(1)
    • science in china. series e. technological sciences(1)
    • science of computer programming. methods of software design: techniques and applications(1)
    • the computer journal(1)
    • theoretical aspects of computing - ictac 2005(1)
    • theoretical aspects of computing---ictac 2005(1)

  • 발행처
    • springer nature(59)
    • springer, cham(12)
    • ieee(10)
    • elsevier b.v.(8)
    • association for computing machinery(6)
    • springer(5)
    • acm, new york(3)
    • elsevier bv(3)
    • elsevier science bv(3)
    • ieee-inst electrical electronics engineers inc(3)
    • springer, heidelberg(3)
    • academic press inc.(2)
    • assoc computing machinery(2)
    • hal ccsd(2)
    • science press(2)
    • springer heidelberg(2)
    • springer international publishing(2)
    • springer, berlin(2)
    • academic press inc elsevier science(1)
    • academic press ltd- elsevier science ltd(1)
    • cambridge univ press(1)
    • elsevier inc.(1)
    • elsevier ltd(1)
    • higher education press(1)
    • oxford univ press(1)
    • rwth aachen university(1)
    • springer science and business media llc(1)
    • springer, [cham](1)
    • springer-verlag(1)

  • 언어
    • english(186)
    • chinese(3)

  • 수록DB
    • Complementary Index(66)
    • MathSciNet via EBSCOhost(42)
    • OpenAIRE(40)
    • arXiv(28)
    • Science Citation Index(20)
    • Academic Search Complete(8)
    • ScienceDirect(6)
    • Supplemental Index(5)
    • Business Source Complete(4)
    • IEEE Xplore Digital Library(3)
    • SwePub(1)

223

1 - 10 다음페이지로

내보내기

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

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

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

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