Refining reactive systems using the refinement calculator (Extended abstract)

被引：0
|
作者：
Långbacka, T [1 ]
机构：
[1] Univ Helsinki, Dept Comp Sci, FIN-00014 Helsinki, Finland
来源：
FORMAL METHODS PACIFIC '97 | 1997年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：307 / 308
页数：2
相关论文
共 50 条
  • [31] Optimal monomial quadratization for ODE systems [Extended Abstract]
    Bychkov, Andrey
    Pogudin, Gleb
    ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 2020, 54 (03): : 119 - 123
  • [32] Nee automata and term rewrite systems (Extended abstract)
    Tison, S
    REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2000, 1833 : 27 - 30
  • [33] Towards a Semantics for Hybrid ASP Systems: Extended Abstract
    Cabalar, Pedro
    Fandinno, Jorge
    Schaub, Torsten
    Wanko, Philipp
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 48 - 51
  • [34] Model checking durational probabilistic systems - (Extended abstract)
    Laroussinie, F
    Sproston, J
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 140 - 154
  • [35] DISTRIBUTING FINITE TRANSITION-SYSTEMS EXTENDED ABSTRACT
    CASPI, P
    GIRAULT, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 951 - 952
  • [36] Total-correctness refinement for sequential reactive systems
    Jackson, PB
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 320 - 337
  • [37] Designing a requirements specification language for reactive systems (Abstract)
    Leveson, NG
    ZUM '98: THE Z FORMAL SPECIFICATION NOTATION, 1998, 1493 : 135 - 135
  • [38] Abstract description refinement using incremental learning and scene reconstruction
    Bardis, Georgios
    Golfinopoulos, Vassihos
    Miaoulis, Georgios
    Plemenos, Dimitri
    19TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL II, PROCEEDINGS, 2007, : 345 - +
  • [39] Secret swarm unit -: Reactive k-secret sharing (extended abstract)
    Dolev, Shlomi
    Lahiani, Limor
    Yung, Moti
    PROGRESS IN CRYPTOLOGY - INDOCRYPT 2007, 2007, 4859 : 123 - 137
  • [40] Representing and Solving Finite-Domain Constraint Problems using Systems of Polynomials (Extended Abstract)
    Jefferson, Chris
    Jeavons, Peter
    Green, Martin J.
    van Dongen, M. R. C.
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, 2015, 9255 : 737 - 737
12345