Login / Signup

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.

Bernhard K. AichernigAndreas GriesmayerRudolf SchlatteAndries Stam
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
  • multi threaded
  • management system
  • distributed systems
  • social networks
  • information systems
  • general purpose
  • communication networks
  • computing systems