A LOGIC FOR THE SPECIFICATION AND PROOF OF REGULAR CONTROLLABLE PROCESSES OF CCS

被引：6
|
作者：
GRAF, S
SIFAKIS, J
机构：
[1] IMAG, St. Martin d'Heres, Fr, IMAG, St. Martin d'Heres, Fr
来源：
ACTA INFORMATICA | 1986年 / 23卷 / 05期
关键词：
D O I：
10.1007/BF00288467
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
10
引用
收藏
页码：507 / 527
页数：21
相关论文
共 50 条
  • [31] Corrosion of steels in CCS processes
    Tomoe Y.
    Zairyo to Kankyo/ Corrosion Engineering, 2016, 65 (08): : 319 - 320
  • [32] LOGIC OF PROOF - REJOINDER
    WILLIAMS, G
    CRIMINAL LAW REVIEW, 1980, (FEB): : 103 - 107
  • [33] The proof (logic and mathematics)
    Nuzhdin, G
    VOPROSY FILOSOFII, 1998, (09) : 138 - 149
  • [34] The logic of geometric proof
    Rood, Ron
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, 2006, 4045 : 221 - 225
  • [35] SEMANTICAL ANALYSIS OF SPECIFICATION LOGIC
    TENNENT, RD
    INFORMATION AND COMPUTATION, 1990, 85 (02) : 135 - 162
  • [36] The logic of the RAISE specification language
    George, C
    Haxthausen, AE
    COMPUTING AND INFORMATICS, 2003, 22 (3-4) : 323 - 350
  • [37] The Specification Logic nu Z
    Henson, Martin C.
    Kajtazi, Besnik
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 137 (02) : 111 - 129
  • [38] A Specification Logic for Exceptions and Beyond
    Gherghina, Cristian
    David, Cristina
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 173 - 187
  • [39] A logic for the specification of continuous systems
    Friesen, V
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 143 - 158
  • [40] A specification logic for reconfigurable computing
    Tyugu, E
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 197 - 202
12345