Extending CTL to Specify Quantitative Temporal Requirements | Dr. Ammar Mohammed

Extending CTL to Specify Quantitative Temporal Requirements

Citation:: Mohammed, A., and U. Furbach, "Extending CTL to Specify Quantitative Temporal Requirements", Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, Madiera, Portugal, SciTePress, 2010.