30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
Davide Basile, Maurice H. ter Beek, Félicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
Topics & Concepts
Rotation formalisms in three dimensionsComputer scienceAutomatonReliability (semiconductor)Energy consumptionTheoretical computer scienceMathematicsPhysicsQuantum mechanicsEcologyGeometryPower (physics)BiologyFormal Methods in VerificationPetri Nets in System ModelingSimulation Techniques and Applications