المؤلفون: Mavoungou, Jean-Paul¹ (AUTHOR) jpmavoungou@yahoo.fr

المصدر: Journal of Algebra & Its Applications. Feb2025, Vol. 24 Issue 2, p1-12. 12p.

مصطلحات موضوعية: *BISIMULATION, *FACTORIZATION

المؤلفون: Ma, Yanfang¹ (AUTHOR) clmyf@163.com, Chen, Liang² (AUTHOR) Chenl@czu.cn

المصدر: International Journal of Software Engineering & Knowledge Engineering. Jul2024, Vol. 34 Issue 7, p1095-1134. 40p.

مصطلحات موضوعية: *CYBER physical systems, BISIMULATION, LIMIT theorems

المؤلفون: Gao, Zhe, Feng, Jun-e

المصدر: International Journal of Control; Jan2025, Vol. 98 Issue 1, p208-219, 12p

مصطلحات موضوعية: SHIFT registers, STREAM ciphers, BISIMULATION, COMPUTER systems

المؤلفون: Cuartas, Jaime, Cortés, David, Betancourt, Joan, Aranda, Jesús, Cordy, Maxime, Ortiz, James, Perrouin, Gilles, Schobbens, Pierre‐Yves

المصدر: Software Testing: Verification & Reliability; Jan2025, Vol. 35 Issue 1, p1-21, 21p

مصطلحات موضوعية: BISIMULATION, ALGORITHMS, HEURISTIC

المؤلفون: Stanimirović, Predrag S., Ćirić, Miroslav, Mourtas, Spyridon D., Milovanović, Gradimir V., Petrović, Milena J.

المصدر: Axioms (2075-1680); Dec2024, Vol. 13 Issue 12, p838, 19p

مصطلحات موضوعية: FINITE state machines, REAL numbers, BISIMULATION, LINEAR systems, GENERATING functions

المؤلفون: Mikec, Luka¹ (AUTHOR), Perkov, Tin¹ (AUTHOR) tin.perkov@ufzg.hr, Vukoviĉ, Mladen¹ (AUTHOR)

المصدر: Logic Journal of the IGPL. Oct2024, Vol. 32 Issue 5, p936-937. 2p.

مصطلحات موضوعية: *LOGIC, BISIMULATION, SEMANTICS (Philosophy), DEFINITIONS

المؤلفون: Yu, Weiyong¹ (AUTHOR), Deng, Zhenhua² (AUTHOR) zhdeng@amss.ac.cn, Guo, Qianjin¹ (AUTHOR), Liu, Qiang¹ (AUTHOR)

المصدر: IET Control Theory & Applications (Wiley-Blackwell). Jul2023, Vol. 17 Issue 11, p1552-1565. 14p.

مصطلحات موضوعية: CONTROLLABILITY in systems engineering, BISIMULATION, BOOLEAN networks

المؤلفون: Maxim V. Neyzov, Egor V. Kuzmin

المصدر: Моделирование и анализ информационных систем, Vol 31, Iss 2, Pp 120-141 (2024)

مصطلحات موضوعية: control software, plc program, declarative ltl-specification, imperative ltl-specification, complete transition system, pseudo-complete transition system, state space, model checking, nuxmv verifier, smv-specification, bisimulation equivalence, bisimulation, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1849; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/9e57936301e44ae5951ac50e3c89b5da

المؤلفون: Bereczky, Péter, Horpácsi, Dániel, Thompson, Simon

المصدر: Computers (2073-431X); Nov2024, Vol. 13 Issue 11, p276, 32p

مصطلحات موضوعية: SEMANTICS, BISIMULATION, LANGUAGE & languages

المؤلفون: Peres, Florent, Ghazel, Mohamed

المصدر: ACM Transactions on Embedded Computing Systems; Sep2024, Vol. 23 Issue 5, p1-33, 33p

مصطلحات موضوعية: MODELING languages (Computer science), SEMANTICS, BISIMULATION, SYNTAX (Grammar), MACHINERY

المؤلفون: Qiao, Sha¹ (AUTHOR) sqiao@sdu.edu.cn, Feng, Jun-e¹ (AUTHOR) fengjune@sdu.edu.cn, Zhu, Ping² (AUTHOR) pzhubupt@bupt.edu.cn

المصدر: Journal of the Franklin Institute. Jan2024, Vol. 361 Issue 1, p135-149. 15p.

مصطلحات موضوعية: *BISIMULATION, *FUZZY systems, *COMPOSITION operators, *NATURAL numbers, *MODAL logic

المؤلفون: RUI LI^1,2 rui_li@dlut.edu.cn, QI ZHANG³ zhangqi@uibe.edu.cn, TIANGUANG CHU⁴ chutg@pku.edu.cn

المصدر: SIAM Journal on Control & Optimization. 2022, Vol. 60 Issue 5, p2631-2657. 27p.

مصطلحات موضوعية: BISIMULATION, STOCHASTIC systems, BOOLEAN functions, LINEAR systems

المؤلفون: Mohammadsadegh Mohagheghi, Khayyam Salehi

المصدر: Mathematics Interdisciplinary Research, Vol 9, Iss 2, Pp 151-169 (2024)

مصطلحات موضوعية: probabilistic bisimulation‎, ‎markov decision process‎, ‎model checking‎, ‎machine learning‎, ‎support vector machine, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://mir.kashanu.ac.ir/article_114322_d21590eb7919d74be95308a790bc5283.pdf; https://doaj.org/toc/2476-4965

URL الوصول: https://doaj.org/article/849f4a8f596f412593f255a7a98597bc

المؤلفون: Di Stefano, Luca, Lang, Frédéric

المصدر: Formal Methods in System Design; Jun2024, Vol. 62 Issue 1-3, p1-40, 40p

مصطلحات موضوعية: BISIMULATION, COMPOSITION operators, ORTHOGONAL systems, SOFTWARE development tools

المؤلفون: Horvat, Sebastijan¹ (AUTHOR), Perkov, Tin² (AUTHOR) tin.perkov@ufzg.hr, Vuković, Mladen¹ (AUTHOR)

المصدر: Mathematical Logic Quarterly. May2023, Vol. 69 Issue 2, p231-243. 13p.

مصطلحات موضوعية: *BISIMULATION, *MODAL logic, *SEMANTICS (Philosophy), *FIRST-order logic, *GAMES, *SEMANTICS

المؤلفون: van Glabbeek, Rob^1,2 (AUTHOR) rvg@cs.stanford.edu

المصدر: Acta Informatica. Mar2023, Vol. 60 Issue 1, p11-57. 47p.

مصطلحات موضوعية: *BISIMULATION, *ALGEBRA

المؤلفون: Wu, Hao¹ (AUTHOR) wuhao_seiee@sjtu.edu.cn, Yang, Qizhe^1,2 (AUTHOR) qzyang@shnu.edu.cn, Long, Huan¹ (AUTHOR) longhuan@sjtu.edu.cn

المصدر: Information Processing Letters. Aug2024, Vol. 186, pN.PAG-N.PAG. 1p.

مصطلحات موضوعية: *TELECOMMUNICATION systems, BISIMULATION, CONGRUENCE lattices, POLYNOMIAL time algorithms, QUANTUM communication

المؤلفون: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 03B38:Type theory, F.3.2

URL الوصول: http://arxiv.org/abs/2201.00221

المؤلفون: Farhat, Salman, Bliudze, Simon, Duchien, Laurence, Kouchnarenko, Olga

المساهمون: Self-adaptation for distributed services and large software systems (SPIRALS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC), Alexandre Madeira, Alexander Knapp, ANR-23-CE25-0012,SmartCloud,Adaptivité Dynamique Intelligente pour les Systèmes de Cloud Computing(2023), ANR-23-CE25-0004,ADAPT,Adaptation dynamique de systèmes à composants hiérarchiques(2023), ANR-17-EURE-0002,EIPHI,Ingénierie et Innovation par les sciences physiques, les savoir-faire technologiques et l'interdisciplinarité(2017)

المصدر: Software Engineering and Formal Methods. SEFM 2024 ; https://hal.science/hal-04855648 ; Software Engineering and Formal Methods. SEFM 2024, Alexandre Madeira; Alexander Knapp, Nov 2024, Aveiro, Portugal. pp.234-252, ⟨10.1007/978-3-031-77382-2_14⟩ ; https://sefm-conference.github.io/2024/

مصطلحات موضوعية: System Architecture Evolution, Component-based Systems, Variability Models, Composition Operators, Multi-step Bisimulation, System Architecture Evolution Component-based Systems Variability Models Composition Operators Multi-step Bisimulation, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Aveiro, Portugal

الاتاحة: https://hal.science/hal-04855648
https://hal.science/hal-04855648v1/document
https://hal.science/hal-04855648v1/file/Farhat24-Composing-Runtime-Variability-Models.pdf
https://doi.org/10.1007/978-3-031-77382-2_14

المؤلفون: Nguyen, Linh Anh^1,2 (AUTHOR) nguyen@mimuw.edu.pl

المصدر: International Journal of Approximate Reasoning. Apr2023, Vol. 155, p113-131. 19p.

مصطلحات موضوعية: *BISIMULATION, *RESIDUATED lattices, *HEYTING algebras