Zenet: generating and enforcing real-time temporal invariants - Sciweavers

29

click to vote

more ICSE 2010 ...

www.zenetproject.com

Tweet