GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:projects:adder

This is an old revision of the document!


Adder

  • 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

ai rule-based_systems embedded_systems completed_project


Go back to → projects

pub/projects/adder.1357250183.txt.gz · Last modified: 2013/01/03 21:56 by wta

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki