Publications

Export 3 results:
Author [ Title(Desc)] Type Year
Filters: Keyword is verification;  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.
G
Li B, Chellappa R.  2002.  A generic approach to simultaneous tracking and verification in video. Image Processing, IEEE Transactions on. 11(5):530-544.
O
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.