( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction.

, и . 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.

Tibor Attila Anca

Anca erbescu

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

Alexandru tefan Anca

Andrés Anca Couce

Anca Flormann

 

Другие публикации лиц с тем же именем

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