机译:ROSECON:用于综合和验证信息系统指定的并发系统的计算机工具
Institute of Computer Science University of Rzeszow Prof. Stanislawa Pigonia Str. I, 35-310 Rzeszow, Poland;
Institute of Biomedical Informatics University of Information Technology and Management Sucharskiego Str. 2, 35-225 Rzeszow, Poland;
机译:验证分布式计算机系统中的并发控制流
机译:参数化验证图:对称参数化并发系统的时间验证
机译:分支时间逻辑,用于验证同步耦合的并发系统及其与基于Web的系统的相关性
机译:ROSECON系统-用于过程建模和分析的计算机工具
机译:用于验证并发系统的可定制工具。
机译:医疗保健中的计算机应用。医院中的计算机系统。医院信息系统:规划评估和实施:sys / PLANR:HIS规划的决策支持工具
机译:并发工作台:基于语义的并发系统验证工具