Accès libre

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
Recherchez cet auteur sur
Sciendo|Google Scholar
Crăciunean, Daniel C.
  
19 déc. 2023
A Categorical Metamodel for Reactive Kripke Frames's Cover Image
À propos de cet article
Article précédent
Article suivant
Citez
Télécharger la couverture
Publié en ligne: 19 déc. 2023
Pages: 3 - 13
DOI: https://doi.org/10.2478/ijasitels-2023-0001
Mots clés
© 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
Langue:
Anglais
Périodicité:
2 fois par an
Sujets de la revue:
Informatique, Informatique, autres, Affaires et économie, Mathématiques et statistiques pour les économistes, Mathématiques, Ingénierie, Ingénierie électrique, Fondamentaux de l'électrotechnique, Mathématiques, Mathématiques générales
RSS Feed de la revue