Login / Signup

A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems.

Marco BernardoLorenzo DonatielloRoberto Gorrieri
Published in: Inf. Comput. (1998)
Keyphrases
  • concurrent systems
  • formal specification
  • database
  • real time
  • genetic algorithm
  • statistical analysis
  • data integration
  • statistical modeling
  • dynamic aspects