Knowledge-Based Systems,volume 16,issue 7  (11-2004)

Period of time: 2004年7期

Publisher: Elsevier

Founded in: 1987

Total resources: 4

ISSN: 0950-7051

Subject: TP Automation Technology , Computer Technology

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Knowledge-Based Systems,volume 16,issue 7

Menu

Static analysis of Lyee requirements

By Mejri M., Ktari B., Fujita H., Erhioui M. in (2003)

Knowledge-Based Systems,volume 16,issue 7 , Vol. 16, Iss. 7, 2003-11 , pp. 361-382

Elsevier

Abstract Access to resources Recommend Favorite

From first-order logic to automated word generation for Lyee

By Amon B., Ekenberg L., Johannesson P., Munguanaze M., Njabili U., Manka Tesha R. in (2003)

Knowledge-Based Systems,volume 16,issue 7 , Vol. 16, Iss. 7, 2003-11 , pp. 413-429

Elsevier

Abstract Access to resources Recommend Favorite

Configuration management for Lyee software

By Gruhn V., Ijioui R., Peters D., Schafer C. in (2003)

Knowledge-Based Systems,volume 16,issue 7 , Vol. 16, Iss. 7, 2003-11 , pp. 441-447

Elsevier

Abstract Access to resources Recommend Favorite