Specification and refinement of probabilistic processes 论文

2002引用 343
DOI
Formal Methods in VerificationModel-Driven Software Engineering TechniquesSoftware Reliability and Analysis Research
企业软件Model-Driven Software Engineering TechniquesFormal Methods in VerificationSoftware Reliability and Analysis Research
相关技术:Model-Driven Software Engineering TechniquesFormal Methods in Verification
关系图谱

Specification and refinement of probabilistic processes · 作者

K

Kim G. Larsen

B

Bengt Jönsson