Differences

This shows you the differences between two versions of the page.

--- pub:projects:adder [2013/01/04 11:14] – removed gjn
+++ pub:projects:adder [2013/01/10 12:57] (current) – created - external edit 127.0.0.1
@@ Line 1: / Line 1: @@
+====== Adder ======
+  * 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
+{{tag>ai rule-based_systems embedded_systems completed_project}}
+----
+Go back to -> [[start|projects]]