Publisher： IGI Global_journal
E-ISSN： 1947-8216|5|4|52-76
ISSN： 1947-8208
Source： International Journal of Knowledge and Systems Science (IJKSS), Vol.5, Iss.4, 2014-10, pp. : 52-76
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL
Applied Artificial Intelligence, Vol. 20, Iss. 2-4, 2006-02 ,pp. :
Access to resources
Recommend
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering, Vol. 13, Iss. 1, 2006-01 ,pp. :
A software product certification model
By Heck Petra Klabbers Martijn Eekelen Marko
Software Quality Journal, Vol. 18, Iss. 1, 2010-03 ,pp. :