Differences
This shows you the differences between two versions of the page.
| |
| public:projects:completed [2009/07/23 12:20] – created admin | public:projects:completed [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1 |
|---|
| ====== Completed projects ====== | |
| |
| * 2005->2006 - //[[http://adder.ia.agh.edu.pl|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 - //[[http://mirella.ia.agh.edu.pl|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 - //[[http://regulus.ia.agh.edu.pl|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 | |
| |
| |
