GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:projects:adder

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Last revisionBoth sides next revision
pub:projects:adder [2010/10/26 11:42] – external edit 127.0.0.1pub:projects:adder [2013/01/04 11:14] – removed gjn
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]] 
pub/projects/adder.txt · Last modified: 2013/01/10 12:57 by 127.0.0.1

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki