15. 6. 2005

ConTEL 2005

Na 8. mednarodni konferenci ConTEL smo sodelovali s prispevkom "Toward automatic generation of Promela models from SDL specification".

Zunanji viri