공지
예치금 반환 재안내
도서관 자료실 휴실 안내(10. 1., 10. 3., 10. 9.)
2024학년도 도서관 전자정보박람회 경품 추첨 결과 및 수령 안내
2024학년도 2학기 도서관 정보활용교육 안내
학술 생성형 AI 서비스 「tlooto」 시범 운영 안내
이전
다음
Close today
공지사항 닫기
DAU Library
Central Library
Dong-A University
LOGIN
Off-Campus Access
OFF
KO
Open the search box
Search"
Search
All
Library Catalog
eJournals
Databases
e-Learning
e-Learning
INSPIRE
KOCW
Overseas OCW/MOOC List
eBooks
Collections
New Arrivals(Subject)
Popular Books
Recommendations
DAU Reading List
Book Gallery
Research book
Research Support
Journal Evaluation
Subject Guides
Plagiarism Prevention
Plagiarism Prevention
Research Ethics
References Management
Thesis Submission
Document Delivery Service/Interlibrary Loan
Document Delivery Service/Interlibrary Loan
Medicine, Nursing(Request_Journal)
Medicine, Nursing(Request_Thesis)
DDS/ILL – Request list
Library Instruction
Library Instruction Guide
Library Instruction Request
Group Instruction Request
Libaray Services
Use Using Materials
Borrow/Renew/Return
Inter-Campus Loan
Purchase Request
Closed Stack Request
Priority Cataloging Book Request
Missing Book Request
Facilities
Group Study Room
Group Study Room Request
Reading Room
Visit Other Libraries(Data)
Visit Other Libraries for Material Use
Visit Other Libraries Request(Data)
Request History (Material Use)
Visit Other Libraries(Reading Room)
Visit Other Libraries Guide(Reading Room)
Visit Other Libraries Request(Reading Room)
Request History (Reading Room)
User Guide
Undergraduates
Graduates students
Faculty/Staff
Special member
Etc.
Mobile Service
Mobile Web
Mobile Seat Allocation
Mobile ID Card
WiFi
Off-Campus Access
Find Services
About our Library
Overview
Overview
History
Status
Regulations
Organization/Staff
Library Hours
Floor Guide
Donations
How to Donate
List
Cyber Memorial Collection
Directions
Community
Notice
Notice(Datebases)
Q&A
Q&A
FAQ
Book Reviews
Best Reviews
Program Feedback
Forms
Error Inquiry
My Library
Borrow/Renew
Borrow/Renew
History
Inter-Campus Loan List
My Request List
Purchase Request
Closed Stack Request
Priority Cataloging Book Request
Missing Book Request
DDS – Request List
Group Study Room
Library Instruction
My Shelf
My Book Reviews
Personal Information
Profile
Notice
Quick Menu
My Shelf
Error Inquiry
메뉴 전체보기
eArticles
Home
>
Search
>
eArticles
>
All
Library Catalog
eArticles
eJournals
전체
ISSN
논문 제목
Journal Title
저자
엡스코 구버전 바로가기
발행년도
-
(ex : 2010-2015)
'
학술논문
' 에서의 검색결과
103
건 | List
1~10
Select All
Relevance
Date Newest
Date Oldest
5
10
20
30
40
50
E-Mail
EndNote
RefWorks
1 . Academic Journal
A first-order logic characterization of safety and co-safety languages
저자
by
Alessandro Cimatti
;
Luca Geatti
;
Nicola Gigante
;
Angelo Montanari
;
Stefano Tonetta
.
소스
Logical Methods in Computer Science, Vol Volume 19, Issue 3 (2023)
Open Access (DOAJ)
Web of Science
Scopus
JCR 저널정보
요약보기
Export
E-Mail
EndNote
RefWorks
7 . Academic Journal
Linear-time Temporal Logic with Event Freezing Functions
저자
by
Stefano Tonetta
.
소스
Electronic Proceedings in Theoretical Computer Science, Vol 256, Iss Proc. GandALF 2017, Pp 195-209 (2017)
Open Access (DOAJ)
요약보기
Export
E-Mail
EndNote
RefWorks
3 . Academic Journal
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
저자
by
Marco Bozzano
;
Alessandro Cimatti
;
Marco Gario
;
Stefano Tonetta
.
소스
Logical Methods in Computer Science, Vol Volume 11, Issue 4 (2015)
Open Access (DOAJ)
Web of Science
Scopus
JCR 저널정보
요약보기
Export
E-Mail
EndNote
RefWorks
6 . Academic Journal
Formalization and Validation of Safety-Critical Requirements
저자
by
Alessandro Cimatti
;
Marco Roveri
;
Angelo Susi
;
Stefano Tonetta
.
소스
Electronic Proceedings in Theoretical Computer Science, Vol 20, Iss Proc. FMA 2009, Pp 68-75 (2010)
Open Access (DOAJ)
요약보기
Export
E-Mail
EndNote
RefWorks
6 .
Assumption-based Runtime Verification
저자
by
Alessandro Cimatti
;
Chun Tian
;
Stefano Tonetta
.
소스
Formal Methods in System Design
. 60:277-324
Web of Science
Scopus
JCR 저널정보
요약보기
Export
E-Mail
EndNote
RefWorks
5 .
EVA: a Tool for the Compositional Verification of AUTOSAR Models
저자
by
Alessandro Cimatti
;
Luca Cristoforetti
;
Alberto Griggio
;
Stefano Tonetta
;
Sara Corfini
, et al.
소스
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
Open Access (OpenAIRE)
요약보기
Export
E-Mail
EndNote
RefWorks
7 .
A comprehensive framework for the analysis of automotive systems
저자
by
Alessandro Cimatti
;
Sara Corfini
;
Luca Cristoforetti
;
Marco Di Natale
;
Alberto Griggio
, et al.
소스
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
.
요약보기
Export
E-Mail
EndNote
RefWorks
7 .
Safe Decomposition of Startup Requirements: Verification and Synthesis
저자
by
Luca Geatti
;
Greg Kimberly
;
Alberto Griggio
;
Alessandro Cimatti
;
Stefano Tonetta
.
소스
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030451899
TACAS (1)
Open Access (OpenAIRE)
요약보기
Export
E-Mail
EndNote
RefWorks
7 .
Gr(1) is Equivalent to R(1)
저자
by
Alessandro Cimatti
;
Luca GEATTI
;
Nicola Gigante
;
Angelo Montanari
;
Stefano Tonetta
.
소스
SSRN Electronic Journal
.
요약보기
Export
E-Mail
EndNote
RefWorks
7 .
Searching for Ribbon-Shaped Paths in Fair Transition Systems
저자
by
Marco Bozzano
;
Alessandro Cimatti
;
Stefano Tonetta
;
Viktoria Vozarova
.
소스
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995232
Open Access (OpenAIRE)
요약보기
Export
E-Mail
EndNote
RefWorks
1
2
3
…
11
Next
메일 발송
로그인후 이용해주세요.
이동하기
Full menu
Close full menu
Search
All
Library Catalog
eJournals
Databases
e-Learning
e-Learning
INSPIRE
KOCW
Overseas OCW/MOOC List
eBooks
Collections
New Arrivals(Subject)
Popular Books
Recommendations
DAU Reading List
Book Gallery
Research book
Research Support
Journal Evaluation
Subject Guides
Plagiarism Prevention
Plagiarism Prevention
Research Ethics
References Management
Thesis Submission
Document Delivery Service/Interlibrary Loan
Document Delivery Service/Interlibrary Loan
Medicine, Nursing(Request_Journal)
Medicine, Nursing(Request_Thesis)
DDS/ILL – Request list
Library Instruction
Library Instruction Guide
Library Instruction Request
Group Instruction Request
Libaray Services
Use Using Materials
Borrow/Renew/Return
Inter-Campus Loan
Purchase Request
Closed Stack Request
Priority Cataloging Book Request
Missing Book Request
Facilities
Group Study Room
Group Study Room Request
Reading Room
Visit Other Libraries(Data)
Visit Other Libraries for Material Use
Visit Other Libraries Request(Data)
Request History (Material Use)
Visit Other Libraries(Reading Room)
Visit Other Libraries Guide(Reading Room)
Visit Other Libraries Request(Reading Room)
Request History (Reading Room)
User Guide
Undergraduates
Graduates students
Faculty/Staff
Special member
Etc.
Mobile Service
Mobile Web
Mobile Seat Allocation
Mobile ID Card
WiFi
Off-Campus Access
Find Services
About our Library
Overview
Overview
History
Status
Regulations
Organization/Staff
Library Hours
Floor Guide
Donations
How to Donate
List
Cyber Memorial Collection
Directions
Community
Notice
Notice(Datebases)
Q&A
Q&A
FAQ
Book Reviews
Best Reviews
Program Feedback
Forms
Error Inquiry
My Library
Borrow/Renew
Borrow/Renew
History
Inter-Campus Loan List
My Request List
Purchase Request
Closed Stack Request
Priority Cataloging Book Request
Missing Book Request
DDS – Request List
Group Study Room
Library Instruction
My Shelf
My Book Reviews
Personal Information
Profile
Notice