Propese a real-time workflow time modeling and verification method based on timed automata.
提出一种基于时间自动机的实时工作流时间建模与验证方法。
It is important to study the efficient modeling and verification methods in system testing, feasibility analysis and so on.
研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。
Through the mathematical modeling and verification of the way QQ users selecting servers, we find that the probability distribution isn't Bernoulli.
对QQ用户挑选QQ服务器的方式进行了数学建模和验证，发现QQ服务器被用户选中的概率分布并不服从伯努利分布。
应用推荐