( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.

, , , , , и . CoRR, (2019)

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.

Joost-Pieter Katoen

Pieter Wolter

Pieter Zwieten

Pieter Ploumen

Pieter Dingeldey

 

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

Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)., , и . IEEE Trans. Software Eng., 32 (8): 529-530 (2006)Parametric LTL on Markov Chains., и . IFIP TCS, том 8705 из Lecture Notes in Computer Science, стр. 207-221. Springer, (2014)Code Generation = A* + BURS., , , и . CC, том 1060 из Lecture Notes in Computer Science, стр. 160-176. Springer, (1996)Quantitative Verification in Practice., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 127. Springer, (2010)Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks., , , и . Distributed Comput., 9 (4): 157-171 (1996)Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates., , и . SAFECOMP, том 9922 из Lecture Notes in Computer Science, стр. 253-265. Springer, (2016)IC3 software model checking., , , и . Int. J. Softw. Tools Technol. Transf., 22 (2): 135-161 (2020)Automated Termination Analysis of Polynomial Probabilistic Programs., , , и . CoRR, (2020)Advances in Probabilistic Model Checking.. VMCAI, том 5944 из Lecture Notes in Computer Science, стр. 25. Springer, (2010)Spacecraft early design validation using formal methods., , , , , , , , и . Reliab. Eng. Syst. Saf., (2014)