Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision |
pub:projects:completed [2009/07/28 07:52] – external edit 127.0.0.1 | pub:projects:completed [2013/01/10 12:57] (current) – external edit 127.0.0.1 |
---|
====== Completed projects ====== | ====== 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 | {{topic>completed_project}} |
* 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 | |
| |
| ---- |
| |
| Go back to → [[start|projects]] |