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 16, Số 1, 2014
Mục lục:
DòngNội dung
1Verification and validation meet planning and scheduling / Saddek Bensalem, Klaus Havelund, Andrea Orlandini
2A loop acceleration technique to speed up verification of automatically generated plans / Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
3Authorized workflow schemas: deciding realizability through LTL ( F ) model checking / Jason Crampton, Michael Huth, Jim Huan-Pu Kuo
4Generating effective tests for concurrent programs via AI automated planning techniques / Niloofar Razavi, Azadeh Farzan, Sheila A. McIlraith
5Open source software-defined radio tools for education, research, and rapid prototyping / Jason Snyder and others
6Symbolic object code analysis / Jan Tobias Mühlberg, Gerald Lüttgen
7Constraint-based BMC: a backjumping strategy / Hélène Collavizza and others