( en | de | ru )

 

Disambiguation of "Vermesan, Anca I."

Author of the publication

copydeleteadd this publication to your clipboard
Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction.

, and . Softw. Test. Verification Reliab., 5 (4): 233-271 (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tibor Attila Anca

Anca erbescu

Chain order and dynamics in polymer melts. Uni Freiburg, (2009)

Andrés Anca Couce

Alexandru tefan Anca

Anca Flormann

 

Other publications of authors with the same name

Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction., and . Softw. Test. Verification Reliab., 5 (4): 233-271 (1995)An Algebraic Approach to Refinement of KBS Specification., and . EUROVAV, page 265-276. ADERIAS-LIA, Universite de Savoie, (1995)Knowledge-Based Systems: Verification and Validation in the view of Certification.. EUROVAV, page 71-82. Katholieke Universiteit Leuven, Belgium, (1997)Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment., and . EUROVAV, page 343-357. Kluwer, (1999)VoIP over DVB-RCS with QoS and bandwidth on demand., , , , and . IEEE Wirel. Commun., 12 (5): 46-53 (2005)Verification and Validation in Support for Software Certification Methods., , , and . EUROVAV, page 277-293. Kluwer, (1999)Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems., , , , , , , , and . Inf. Res., (1999)Software Certification for Industry - Verification and Validation Issues in Expert Systems.. DEXA Workshop, page 3-14. IEEE Computer Society, (1998)Validation and verification of knowledge-based systems: report on EUROVAV99., , , , , , , , , and 5 other author(s). Knowl. Eng. Rev., 15 (2): 187-196 (2000)