NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
International journal on software tools for technology transfer : STTT, Tập 14, Số 6, 2012
Mục lục:
DòngNội dung
1Relating software validation to technology trends / Zhiming Liu, Abhik Roychoudhury
2Timing analysis of MSC specifications with asynchronous concatenation / Minxue Pan, Xuandong Li
3Formal modeling and validation of Stateflow diagrams / Chunqing Chen and others
4Constructive model-based analysis for safety assessment / Adriano Gomes and others
5Compositional verification of real-time systems using ECDAR / Alexandre David and others