Publications

Export 3 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is verification;  [Clear All Filters]
Journal Articles
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.
Li B, Chellappa R.  2002.  A generic approach to simultaneous tracking and verification in video. Image Processing, IEEE Transactions on. 11(5):530-544.
Briand LC, Morasca S, Basili VR.  2002.  An operational process for goal-driven definition of measures. Software Engineering, IEEE Transactions on. 28(12):1106-1125.