INFORMATION-FLOW IN THE AUTOMATED LABORATORY

被引：0
|
作者：
SCHAEFFER, BC [1 ]
TOBIN, FL [1 ]
机构：
[1] SK&F LABS,DEPT DRUG METAB,SWEDELAND,PA 19479
来源：
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY | 1987年 / 193卷
关键词：
D O I：
暂无
中图分类号：
O6 [化学];
学科分类号：
0703 ;
摘要：
引用
收藏
页码：2 / COMP
相关论文
共 50 条
  • [1] AUTOMATED MATERIAL AND INFORMATION-FLOW CIM COMPONENTS IN PRODUCTION
    TUCHELMANN, Y
    [J]. WERKSTATTSTECHNIK ZEITSCHRIFT FUR INDUSTRIELLE FERTIGUNG, 1986, 76 (03): : 153 - 156
  • [2] DEFINING THE INFORMATION-FLOW IN THE TRANSFUSION-MICROBIOLOGY LABORATORY
    BARBARA, JAJ
    [J]. AUTOMATION IN BLOOD TRANSFUSION, 1989, 22 : 91 - 96
  • [3] INFORMATION-FLOW
    不详
    [J]. NATION, 1981, 233 (04) : 101 - 102
  • [4] IMPROVING THE INFORMATION-FLOW
    HAKE, DL
    [J]. BULLETIN OF THE ATOMIC SCIENTISTS, 1962, 18 (09) : 21 - 22
  • [5] MAKING INFORMATION-FLOW
    MARTIN, JM
    [J]. MANUFACTURING ENGINEERING, 1989, 102 (05): : 75 - 78
  • [6] Information-flow Interfaces
    Bartocci, Ezio
    Ferrere, Thomas
    Henzinger, Thomas A.
    Nickovic, Dejan
    da Costa, Ana Oliveira
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2022, 2022, 13241 : 3 - 22
  • [7] Isadora: automated information-flow property generation for hardware security verification
    Calvin Deutschbein
    Andres Meza
    Francesco Restuccia
    Ryan Kastner
    Cynthia Sturton
    [J]. Journal of Cryptographic Engineering, 2023, 13 : 391 - 407
  • [8] FORECAST-ANALYTICAL STUDIES OF THE DOCUMENTARY INFORMATION-FLOW IN AUTOMATED REGIME
    STAS, EV
    [J]. NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1986, (11): : 25 - 31
  • [9] Isadora: automated information-flow property generation for hardware security verification
    Deutschbein, Calvin
    Meza, Andres
    Restuccia, Francesco
    Kastner, Ryan
    Sturton, Cynthia
    [J]. JOURNAL OF CRYPTOGRAPHIC ENGINEERING, 2023, 13 (04) : 391 - 407
  • [10] Information-flow interfaces
    Bartocci, Ezio
    Ferrere, Thomas
    Henzinger, Thomas A.
    Nickovic, Dejan
    Oliveira da Costa, Ana
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2024,
12345