( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.

, , и . QEST, стр. 129-130. IEEE Computer Society, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)

Richard Freter

Richard Neveling

Richard Ciesielski

Richard Kliffmüller

 

Другие публикации лиц с тем же именем

Approximate Verification of Probabilistic Systems., и . PAPM-PROBMIV, том 2399 из Lecture Notes in Computer Science, стр. 213-214. Springer, (2002)Approximate planning and verification for large markov decision processes., и . SAC, стр. 1314-1319. ACM, (2012)Testing Membership for Timed Automata., и . CoRR, (2019)Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC., , , , , , , и . AVoCS, том 128 из Electronic Notes in Theoretical Computer Science, стр. 195-214. Elsevier, (2004)Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing., , , , и . LICS, стр. 30-39. IEEE Computer Society, (2002)APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains., , и . QEST, стр. 129-130. IEEE Computer Society, (2006)Uniform Monte-Carlo Model Checking., , , , и . FASE, том 6603 из Lecture Notes in Computer Science, стр. 127-140. Springer, (2011)Testing membership for timed automata., и . Acta Informatica, 60 (4): 361-384 (декабря 2023)Approximate Probabilistic Model Checking., , , и . VMCAI, том 2937 из Lecture Notes in Computer Science, стр. 73-84. Springer, (2004)Evaluating Complex MAC Protocols for Sensor Networks with APMC., , , , и . AVoCS, том 185 из Electronic Notes in Theoretical Computer Science, стр. 33-46. Elsevier, (2006)