PROMELA Programmer/modeller til Spin skrives …
PROMELA
Programmer/modeller til Spin skrives i Promela. En kort introduksjon til Promela finner du her . Mer informasjon om Spin og tutorials finnes p? Spin's hjemmeside .
Publisert 30. mars 2005 02:00
- Sist endret 1. juni 2005 14:19