( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Shared Specification Repository.

, , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 266-271. Springer, (2020)

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.

Jannik Steinbring

Jannik Matuschke

Jannik Rossenbach

Jannik Strötgen

Jannik Otto

 

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

Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method., и . iFM, том 14300 из Lecture Notes in Computer Science, стр. 237-256. Springer, (2023)Towards Equalised Odds as Fairness Metric in Academic Performance Prediction., и . CoRR, (2022)Automated Backend Selection for ProB Using Deep Learning., , и . NFM, том 11460 из Lecture Notes in Computer Science, стр. 130-147. Springer, (2019)Embedding High-Level Formal Specifications into Applications., , , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 519-535. Springer, (2019)A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System., , , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 382-397. Springer, (2020)Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning., и . OVERLAY@GandALF, том 2987 из CEUR Workshop Proceedings, стр. 77-82. CEUR-WS.org, (2021)Towards a Shared Specification Repository., , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 266-271. Springer, (2020)Integrating formal specifications into applications: the ProB Java API., , , , и . Formal Methods Syst. Des., 58 (1-2): 160-187 (2021)Validation of Reinforcement Learning Agents and Safety Shields with ProB., , и . NFM, том 14627 из Lecture Notes in Computer Science, стр. 279-297. Springer, (2024)Towards Constraint Logic Programming over Strings for Test Data Generation., , , , и . CoRR, (2019)