Open Access

A Categorical Metamodel for Reactive Kripke Frames

Daniel C. Crăciunean

Daniel C. Crăciunean

Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering, “Lucian Blaga” University of SibiuRomania
Search for this author on
Sciendo|Google Scholar
Crăciunean, Daniel C.
  
Dec 19, 2023
A Categorical Metamodel for Reactive Kripke Frames's Cover Image
About this article
Previous Article
Next Article
Cite
Download Cover
Published Online: Dec 19, 2023
Page range: 3 - 13
DOI: https://doi.org/10.2478/ijasitels-2023-0001
Keywords
© 2023 Daniel C. Crăciunean, published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
Crăciunean, Daniel C.
Computer Science and Electrical and Electronics Engineering Department, Faculty of Engineering, “Lucian Blaga” University of SibiuRomania
Language:
English
Publication timeframe:
2 times per year
Journal Subjects:
Computer Sciences, Computer Sciences, other, Business and Economics, Mathematics and Statistics for Economists, Mathematics, Engineering, Electrical Engineering, Fundamentals of Electrical Engineering, Mathematics, General Mathematics
Journal RSS Feed