http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O104161799
2017년
mul
0302-9743
1611-3349
SCOPUS
학술저널
Lecture notes in computer science
269-283 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
Software engineering and formal methods (International conference)
Trento, Italy
Sep 2017
0
상세조회0
다운로드
From Model Checking to a Temporal Proof for Partial Models
Towards Inverse Uncertainty Quantification in Software Development (Short Paper)
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL
User Studies of Principled Model Finder Output