d3scomp / JDEECo

JDEECo is a Java implementation of the DEECo component system
10 stars 12 forks source link

Complete the JPF-jDEECo integration #153

Open mkit opened 9 years ago

mkit commented 9 years ago

There is some work on JPF integration for jDEECo. It was started by Jarda and needs to be completed.