pub:projects:adder
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
Go back to → projects
pub/projects/adder.txt · Last modified: 2013/01/10 13:57 (external edit)