Discussion on: Formal Specification Method for Systems Automation

被引：0
|
作者：
Instituto de Investigación en Informá tica de Albacete, Universidad de Castilla-La Mancha, Campus Univ. s/n, Albacete, Spain [1 ]
机构：
来源：
Eur J Control | 2006年 / 2卷 / 132-133期
关键词：
12;
D O I：
10.1016/S0947-3580(06)71020-2
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Discussion on: "Formal specification method for systems automation"
    Zaytoon, Janan
    Valero, V.
    Cambronero, M. E.
    Petin, J. -F.
    Morel, G.
    Panetto, H.
    [J]. EUROPEAN JOURNAL OF CONTROL, 2006, 12 (02) : 131 - 134
  • [2] Formal specification method for systems automation
    Petin, Jean-Francois
    Morel, Gerard
    Panetto, Herve
    [J]. EUROPEAN JOURNAL OF CONTROL, 2006, 12 (02) : 115 - 130
  • [3] FORMAL SPECIFICATION FOR DESIGN AUTOMATION
    LENART, M
    PADAWITZ, P
    PASZTOR, A
    [J]. FORMAL DESIGN METHODS FOR CAD, 1994, 18 : 201 - 220
  • [4] Specification and formal verification of temporal properties of production automation systems
    Flake, Stephan
    Müller, Wolfgang
    Pape, Ulrich
    Ruf, Jürgen
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3147 : 206 - 226
  • [5] Interactive formal specification for efficient preparation of intelligent automation systems
    Dahl, Martin
    Larsen, Christian
    Eros, Endre
    Bengtsson, Kristofer
    Fabian, Martin
    Falkman, Petter
    [J]. CIRP JOURNAL OF MANUFACTURING SCIENCE AND TECHNOLOGY, 2022, 38 : 129 - 138
  • [6] Specification and formal verification of temporal properties of production automation systems
    Flake, S
    Müller, W
    Pape, U
    Ruf, J
    [J]. INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING, 2004, 3147 : 206 - 226
  • [7] A formal technique for the specification and verification of distributed systems and its application in manufacturing automation
    Fialho, SV
    Leao, JLS
    Pedroza, ACP
    [J]. 38TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, PROCEEDINGS, VOLS 1 AND 2, 1996, : 27 - 30
  • [8] Formal specification of concurrent systems
    Chadha, HS
    Baugh, JW
    Wing, JM
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (03) : 211 - 224
  • [9] FORMAL SPECIFICATION OF DIALOG SYSTEMS
    STUDER, R
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (05): : 335 - 343
  • [10] The formal specification of interactive systems
    Harrison, MD
    [J]. SOFTWARE ENGINEERING JOURNAL, 1996, 11 (06): : 322 - 322
12345