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
pub/projects/adder.1248869248.txt.gz · Last modified: 2009/07/29 12:07 by admin