6 search results - page 2 / 2 » Maude as a Wide-Spectrum Framework for Formal Modeling and A... |
SPRINGSIM
2007
13 years 8 months ago
2007
— Stochastic activity networks (SANs) are a widely used formalism for describing complex systems that have random behavior. Sophisticated software tools exist for the modeling an...