( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Specification Logic for Programs in the Probabilistic Guarded Command Language.

, , , и . ICTAC, том 13572 из Lecture Notes in Computer Science, стр. 369-387. Springer, (2022)

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.

Ina Schaefer

Michael Inacker

Mohan Mohadeo Inamdar

Jason Inan

Kemal Inat

 

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

Oil palm and rubber expansion facilitates earthworm invasion in Indonesia, , , , , и . Biological Invasions, 23 (9): 2783–2795 (апреля 2021)Reengineering Workflow for Planned Reuse of IEC 61131-3 Legacy Software., , , и . IEEM, стр. 1126-1130. IEEE, (2020)A Query Language for Software Architecture Information., , , и . ECSA, том 14212 из Lecture Notes in Computer Science, стр. 337-345. Springer, (2023)Automated Integration of Heteregeneous Architecture Information into a Unified Model., , , и . ECSA, том 14212 из Lecture Notes in Computer Science, стр. 83-99. Springer, (2023)Herausforderungen beim Testen von Fahrerassistenzsystemen., и . GI-Jahrestagung, том P-220 из LNI, стр. 2473-2487. GI, (2013)GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers., , и . FormaliSE@ICSE, стр. 124-129. IEEE, (2021)Stability of Product-Line Samplingin Continuous Integration., , , , , и . VaMoS, стр. 18:1-18:9. ACM, (2021)Applications of #SAT Solvers on Feature Models., , , , , и . VaMoS, стр. 12:1-12:10. ACM, (2021)Sampling Cardinality-Based Feature Models., , , и . VaMoS, стр. 46-55. ACM, (2024)Quantum Computing for Feature Model Analysis: Potentials and Challenges., , , и . SPLC (A), стр. 1-7. ACM, (2023)