pub:projects:completed
This is an old revision of the document!
Completed projects
- 2005โ2006 - Adder (Grant KBN 4 T11C 035 2) research on formal methods in design of correct real-time and embedded systems, including rule-based systems: rule-based security systems design and analysis methods and tools
- 2003โ2004 - Mirella (Grant KBN 4 T11C 027 24) Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems: proposal of an integrated process of visual design, formal analysis and implementation of rule-based expert systems, supported by a CASE tool
- 1999โ2001 - Regulus (Grant KBN 8 T11C 019 17) research on formal methods in knowledge engineering and artificial intelligence: analysis of Prolog-based rule-based systems design methods
pub/projects/completed.1248767572.txt.gz ยท Last modified: 2009/07/29 12:04 (external edit)