Login / Signup

Specification and refinement of discrete timing properties in Event-B.

Mohammad Reza SarshoghMichael J. Butler
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
  • high level
  • real time
  • data sets
  • news articles
  • desirable properties
  • event driven
  • evolutionary algorithm
  • business processes
  • formal language