( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B.

, , и . TASE, стр. 1-8. IEEE, (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.

Ion Cristian Cirstea

Corina Rehwagen

Corina Schmidt

Corina Noack

Corina Sargk

 

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

Trace semantics and refinement patterns for real-time properties in event-B models., , и . Sci. Comput. Program., (2020)Canonical Coalgebraic Linear Time Logics.. CALCO, том 35 из LIPIcs, стр. 66-85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Actual Trust in Multiagent Systems., , , , , и . AAMAS, стр. 2114-2116. International Foundation for Autonomous Agents and Multiagent Systems / ACM, (2024)Formal Specification of Actual Trust in Multiagent Systems., , , , , и . HHAI, том 386 из Frontiers in Artificial Intelligence and Applications, стр. 22-35. IOS Press, (2024)Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.. WADT, том 1376 из Lecture Notes in Computer Science, стр. 174-189. Springer, (1997)Semantics of Real-Time Trigger-Response Properties in Event-B., , и . TASE, стр. 150-155. IEEE Computer Society, (2018)On Expressivity and Compositionality in Logics for Coalgebras.. CMCS, том 82 из Electronic Notes in Theoretical Computer Science, стр. 110-127. Elsevier, (2003)Refinement of Timing Constraints for Concurrent Tasks with Scheduling., , и . ABZ, том 10817 из Lecture Notes in Computer Science, стр. 219-233. Springer, (2018)An institution of modal logics for coalgebras.. J. Log. Algebraic Methods Program., 67 (1-2): 87-113 (2006)Modular Construction of Modal Logics., и . CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 258-275. Springer, (2004)