All submissions of the EM system will be redirected to Online Manuscript Submission System. Authors are requested to submit articles directly to Online Manuscript Submission System of respective journal.


Research on the probability of extended UML state diagram/random kripke structure semantic

Author(s): Saidong Lv, Zhiping Li

Now probability model probability of detection has been widely used in network protocol, the analysis and verification of safety critical systems. Probabilistic model checking is application-level, however, difficult to understand, and modelers have a certain mathematical basis. Extended UML state diagram, and the detection probability model between syntax and semantics, with implicit mapping relation, so this article puts forward from the extended UML state chart to probability/random Kripke structure between semantic mapping rules and precise definition, and corresponding semantic algorithm is given.

Share this       

Table of Contents

Recommended Conferences

International Congress on Biotechnology

Tokyo, Japan

24th Global Congress on Biotechnology

Dubai, UAE
izmir escort izmir escort bursa escort antalya escort izmir escort porno porno izle türk porno eskişehir escort bartın escort burdur escort havalandırma izmir escort bursa escort porno indir izle escort izmir