Formal specification at model-level of model-driven engineering using modelling techniques
HK Jnanamurthy, F Henskens… - … Journal of Computer …, 2021 - inderscienceonline.com
Nowadays Model-Driven Engineering (MDE) is gaining more popularity due to high-level
development leading to a faster generation of executable code, which reduces manual …
development leading to a faster generation of executable code, which reduces manual …
Artificial Intelligence and Applications
S Singh - 2022 - impressions.manipal.edu
I work in the broad areas of computational intelligence, artificial intelligence, neural
networks, machine learning, deep learning, game theory, mathematical logic, and natural …
networks, machine learning, deep learning, game theory, mathematical logic, and natural …
Multi-level analysis of IEC 61131-3 languages to detect clones
HK Jnanamurthy, R Jetley… - International …, 2020 - inderscienceonline.com
Nowadays, automation can be assisted by using programmable logic controllers (PLCs).
PLCs are typically programmed with IEC 61131-3 languages to automate and implement the …
PLCs are typically programmed with IEC 61131-3 languages to automate and implement the …
Formal Modelling and Verification of Software Defined Network
V Varadharajan - arXiv preprint arXiv:2004.04425, 2020 - arxiv.org
In cloud computing, software-defined network (SDN) gaining more attention due to its
advantages in network configuration to improve network performance and network …
advantages in network configuration to improve network performance and network …