共 50 条
- [41] Batch deterministic and stochastic Petri nets approach for modeling and performance analysis of inventory systems:: application to (s,S) inventory system 2006 International Conference on Service Systems and Service Management, Vols 1 and 2, Proceedings, 2006, : 977 - 983
- [42] A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking MODELLING AND IMPLEMENTATION OF COMPLEX SYSTEMS, MISC 2016, 2016, : 295 - 309
- [44] Markovian software availability modeling for performance evaluation STOCHASTIC MODELLING IN INNOVATIVE MANUFACTURING, 1997, 445 : 246 - 256
- [47] A Stochastic Reward Net Approach to Model Availability of Cloud Virtualization 2014 7TH INTERNATIONAL SYMPOSIUM ON TELECOMMUNICATIONS (IST), 2014, : 683 - 688
- [48] A New Approach in Using RAPTOR to Evaluate Reliability and Availability for VoIP systems 2012 9TH INTERNATIONAL CONFERENCE ON COMMUNICATIONS (COMM), 2012, : 217 - 220
- [49] Availability Assessment of Embedded Systems with Security Vulnerabilities 2011 34TH IEEE SOFTWARE ENGINEERING WORKSHOP (SEW 2011), 2011, : 42 - 47
- [50] Availability Modeling and Analysis of a Virtualized System using Stochastic Reward Nets 2016 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY (CIT), 2016, : 210 - 218