Accesso libero

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
Cerca questo autore su
Sciendo|Google Scholar
Crăciunean, Daniel C.
  
19 dic 2023
A Categorical Metamodel for Reactive Kripke Frames's Cover Image
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Cita
Scarica la copertina
Pubblicato online: 19 dic 2023
Pagine: 3 - 13
DOI: https://doi.org/10.2478/ijasitels-2023-0001
Parole chiave
© 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
Lingua:
Inglese
Frequenza di pubblicazione:
2 volte all'anno
Argomenti della rivista:
Informatica, Informatica, altro, Economia e business, Matematica e statistica per economi, Matematica e statistica per economi, Ingegneria, Elettrotecnica, Basi dell'elettrotecnica, Matematica, Matematica generale
Feed RSS della rivista