( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reusable formal models for concurrency and communication in custom real-time operating systems.

, , и . Int. J. Softw. Tools Technol. Transf., 26 (2): 229-245 (апреля 2024)

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.

Bärbel Adelt

Regina Adelt

Stephan Adelt

Maik Adelt

Dieter Adelt

 

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

Towards Reusable Formal Models for Custom Real-Time Operating Systems., , и . FMICS, том 13487 из Lecture Notes in Computer Science, стр. 69-85. Springer, (2022)Reusable formal models for concurrency and communication in custom real-time operating systems., , и . Int. J. Softw. Tools Technol. Transf., 26 (2): 229-245 (апреля 2024)Safe Integration of Learning in SystemC using Timed Contracts and Model Checking., , и . MEMOCODE, стр. 12-22. ACM / IEEE, (2023)Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox., , и . Software Engineering, том P-332 из LNI, стр. 29-30. Gesellschaft für Informatik e.V., (2023)Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X., , и . Software Engineering (Satellite Events), том 2814 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems., , и . ATVA, том 13505 из Lecture Notes in Computer Science, стр. 58-74. Springer, (2022)Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink., , , , и . AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 94-118. Springer, (2023)Combining Forces: How to Formally Verify Informally Defined Embedded Systems., , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 3-22. Springer, (2021)Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox., , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 349-366. Springer, (2021)Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty., , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 299-319. Springer, (2022)