×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [verification need]
Home >
verification need
Formal Semantics for an Abstract Agent Programming Language K.V. Hindriks, Ch. Mayer et al. Lecture Notes In Computer Science, Vol. 1365, 1997 duc/ppt/abstract-apl.ppt.
214 views
A Framework for Translating Models and Specifications Shmuel Katz Computer Science Department The Technion.
221 views
Today’s Topics Data Commons’ approach Data Commons’ Services Use of MedBiquitious Professional Profile standard.
219 views
Interpretation and Use of GPCs Products for RCOFs and African RCC demo phase at ACMAD
41 views
Today’s Topics
26 views