http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Executable Specifications for Real-Time Distributed Systems
Ray, A.; Cleaveland, R. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.3-17
Specifying and Executing Reactive Scenarios With Lutin
Raymond, P.; Roux, Y.; Jahier, E. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.19-34
Towards Mutation Analysis for Lustre Programs
du Bousquet, L.; Delaunay, M. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.35-48
Instantaneous Transitions in Esterel
Tardieu, O.; Edwards, S. A. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.49-64
Worst Case Reaction Time Analysis of Concurrent Reactive Programs
Boldt, M.; Traulsen, C.; von Hanxleden, R. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.65-79
A Model Checking Approach to Protocol Conversion
Sinha, R.; Roop, P. S.; Basu, S. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.81-94
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks
Maraninchi, F.; Samper, L.; Baradon, K.; Vasseur, A. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.95-110
Extending Lustre with Timeout Automata
Gao, J.; Whalen, M.; Van Wyk, E. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.111-124
Modifying Contracts with Larissa Aspects
Stauch, D. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.125-140