[Qt-creator] Developing extension on Qt State Machine Framework

[Antonio Cano Gómez]

Hi,

I am trying to develop extensions to the Qt State Machine Framework. Mainly on its conexions with formal logic and model checking.

Please could someone if I could do it somewhere closer to  Qt community and how to contact people with the same interest?

Thanks,

A. Cano

--------------------------------------------------------------
Ovi Mail: Making email access easy
http://mail.ovi.com

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.qt-project.org/pipermail/qt-creator-old/attachments/20100702/ba238db2/attachment.html