A Framework for Critical Interactive System Formal Modelling and Analysis

被引：0
|
作者：
Mendil, Ismail [1 ]
机构：
[1] IRIT INPT ENSEEIHT, 2 Rue Charles Camichel, F-31071 Toulouse 7, France
来源：
RIGOROUS STATE-BASED METHODS, ABZ 2020 | 2020年 / 12071卷
关键词：
D O I：
10.1007/978-3-030-48077-6_36
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：423 / 426
页数：4
相关论文
共 50 条
  • [1] An Integrated Framework for the Formal Analysis of Critical Interactive Systems
    Mendil, Ismail
    Singh, Neeraj Kumar
    Ait-Ameur, Yamine
    Mery, Dominique
    Palanque, Philippe
    2020 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020), 2020, : 139 - 148
  • [2] Formal modelling of interactive systems
    Goldson, D
    FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2000, : 207 - 215
  • [3] A Formal Framework for Interactive Agents
    Talcott, Carolyn L.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (03) : 95 - 106
  • [4] A visual interactive framework for formal derivation
    Agron, P
    Bachmair, L
    Nielsen, F
    COMPUTATIONAL SCIENCE - ICCS 2005, PT 1, PROCEEDINGS, 2005, 3514 : 1019 - 1026
  • [5] HAZOP analysis of formal models of safety-critical interactive systems
    Hussey, A
    COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 371 - 381
  • [6] A Framework for Interactive Hypertexture Modelling
    Gilet, G.
    Dischler, J. M.
    COMPUTER GRAPHICS FORUM, 2009, 28 (08) : 2229 - 2243
  • [7] The role of formal proof in modelling interactive behaviour
    Butterworth, R
    Blandford, A
    Duke, D
    DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, 1998, : 87 - 101
  • [8] Formal socio-technical barrier modelling for safety-critical interactive systems design
    Basnyat, S.
    Palanque, P.
    Schupp, B.
    Wright, P.
    SAFETY SCIENCE, 2007, 45 (05) : 545 - 565
  • [9] An Applied Framework for Modelling a Critical Infrastructure System Incident
    Pye, Graeme
    Warren, Matthew
    PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON INFORMATION WARFARE AND SECURITY, 2010, : 245 - 260
  • [10] A Data Analysis and Modelling Framework for the Evaluation of Interactive Information Retrieval
    Bierig, Ralf
    Cole, Michael
    Gwizdka, Jacek
    Belkin, Nicholas J.
    ADVANCES IN INFORMATION RETRIEVAL, PROCEEDINGS, 2010, 5993 : 673 - 674
12345