Runtime Verification on Abstracted Finite State Models

被引：0
|
作者：
Jevitha, K.P. [1 ]
Jayaraman, Bharat [1 ,2 ]
Sethumadhavan, M. [3 ]
机构：
[1] Department of Computer Science and Engineering, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Coimbatore, India
[2] Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo,NY, United States
[3] TIFAC CORE in Cyber Security, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Coimbatore, India
来源：
SSRN | 2022年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Java programming language
引用
收藏
相关论文
共 50 条
  • [31] HJB equations for the optimal control of differential equations with delays and state constraints, ii: Verification and optimal feedbacks
    Laboratoire de Probabilités et Modeles Aléatoires, Université de Paris Diderot , Alma Research SAS, Paris, France
    不详
    不详
    不详
    SIAM J Control Optim, 6 (2378-2414):
  • [32] APPROXIMATION IN FINITE ELEMENT MODELS - 1. GENERAL THEORY FOR LINEAR PROBLEMS.
    Kikuchi, Fumio
    Institute of Space and Aeronautical Science, University of Tokyo, Report, 1975, (531): : 277 - 309
  • [33] LARGE-DEFORMATION FINITE-ELEMENT IMPLEMENTATION OF SOIL PLASTICITY MODELS.
    Mizuno, E.
    Chen, W.F.
    Purdue University, School of Civil Engineering, Structural Engineering (Technical Report) CE-STR, 1982,
  • [34] Research on thorax impact injury of children at different ages based on finite element models
    Cui, Shihai
    Han, Xu
    Li, Haiyan
    Lu, Wenle
    He, Lijuan
    Ruan, Shijie
    Shengwu Yixue Gongchengxue Zazhi/Journal of Biomedical Engineering, 2018, 35 (05): : 713 - 719
  • [35] Stochastic Models of Jaya and Semi-Steady-State Jaya Algorithms
    Chakraborty, Uday Kumar
    IEEE Access, 2022, 10 : 92917 - 92930
  • [36] Calculation of the State of Stress and Strain of the Spherical Valve Head by the Finite Element Method.
    Lebedev, S.A.
    Pirumov, I.B.
    Shabrov, N.N.
    Trudy LPI, 1980, (370): : 15 - 19
  • [37] Using finite state machines as design and engineering model for database backed web applications
    Vienna University of Technology, Institute of Computer Technology, Gusshausstrasse 27-29/384, Vienna
    A-1040, Austria
    Proc. Annu. Hawaii Int. Conf. Syst. Sci.,
  • [38] State Probabilities of Open Network Models of Computer Systems with Nonuniform Queries.
    Aliev, T.I.
    Saikin, A.I.
    Izvestia vyssih ucebnyh zavedenij. Priborostroenie, 1980, 23 (03): : 38 - 42
  • [39] Finite element analysis of gas discharge in transient state considering secondary electron emission effects
    Kim, Nam-Kyung
    Jeung, Gi-Woo
    Choi, Nak-Sun
    Lee, Se-Hee
    Kim, Dong-Hun
    Transactions of the Korean Institute of Electrical Engineers, 2010, 59 (07) : 1276 - 1281
  • [40] Limiting State of Thin-walled Shells of Revolution of Finite Length under Creep Conditions.
    Elsuf'ev, S.A.
    Izvestia vyssih ucebnyh zavedenij. Masinostroenie, 1981, (02): : 7 - 10
12345