DESIRABLE PROPERTIES OF REAL-TIME LABORATORY LANGUAGES

被引:0
|
作者
RIDGWAY, TH [1 ]
JACKSON, ME [1 ]
ANDERSEN, JP [1 ]
PAUL, DW [1 ]
机构
[1] UNIV CINCINNATI,DEPT CHEM,CINCINNATI,OH 45221
关键词
D O I
暂无
中图分类号
O6 [化学];
学科分类号
0703 ;
摘要
引用
收藏
页码:7 / 7
页数:1
相关论文
共 50 条
  • [31] A VERIFIER FOR REAL-TIME PROPERTIES
    OSTROFF, JS
    REAL-TIME SYSTEMS, 1992, 4 (01) : 5 - 35
  • [32] Real-Time Microwave Remote Laboratory Architecture
    Farah, S.
    Benachenhou, A.
    Neveux, G.
    Barataud, D.
    Andrieu, G.
    Fredon, T.
    2015 45TH EUROPEAN MICROWAVE CONFERENCE (EUMC), 2015, : 1315 - 1318
  • [33] SYSTEMS FOR REAL-TIME DIAGNOSIS IN THE MEDICAL LABORATORY
    DAFONSECAWOLLHEIM, F
    ARZTLICHE LABORATORIUM, 1988, 34 (05): : 171 - 176
  • [34] Real-Time Microwave Remote Laboratory Architecture
    Farah, S.
    Benachenhou, A.
    Neveux, G.
    Barataud, D.
    Andrieu, G.
    Fredon, T.
    2015 10TH EUROPEAN MICROWAVE INTEGRATED CIRCUITS CONFERENCE (EUMIC), 2015, : 464 - 467
  • [35] REAL-TIME COMPUTER APPLICATIONS IN CLINICAL LABORATORY
    GIESCHEN, M
    NICHOLS, D
    HICKS, G
    IEEE COMPUTER GROUP NEWS, 1969, 2 (09): : 8 - &
  • [36] Monitoring of real-time properties
    Bauer, Andreas
    Leucker, Martin
    Schallhart, Christian
    FSTTCS 2006: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2006, 4337 : 260 - +
  • [37] The state of executable real-time specification languages and the need for advancements
    Khwaja, Amir A.
    Urban, Joseph E.
    ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 577 - +
  • [38] On the Conception of Executable Design Languages for Distributed Real-time Systems
    Gotzhein, Reinhard
    24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 733 - 741
  • [39] Programming Languages for Real-Time Applications Executing on Parallel Hardware
    Burns, Alan
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2011, 2011, 6652 : 193 - 195
  • [40] On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
    Rivera, Jose E.
    Duran, Francisco
    Vallecillo, Antonio
    REWRITING LOGIC AND ITS APPLICATIONS, 2010, 6381 : 174 - 190