Constantina Spanoude: Difference between revisions

From Future Worlds Center Wiki
Jump to navigationJump to search
no edit summary
No edit summary
No edit summary
Line 33: Line 33:
* Promela (PROcess MEta LAnguage)
* Promela (PROcess MEta LAnguage)
* The model-checker SPIN (Simple Promela INterpreter)
* The model-checker SPIN (Simple Promela INterpreter)
<br>She has also some experience with HTML, PHP, openGL and Relational Language DBs (MySQL)
She has also some experience with HTML, PHP, openGL and Relational Language DBs (MySQL)


==<font color="#D64C42">Research</font>==
==<font color="#D64C42">Research</font>==

Navigation menu