App for bug-free baby milk

被引：0
|
作者：
Marks, Paul
机构：
来源：
NEW SCIENTIST | 2013年 / 218卷 / 2911期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：22 / 22
页数：1
相关论文
共 50 条
  • [11] Developing Bug-Free Machine Learning Systems With Formal Mathematics
    Selsam, Daniel
    Liang, Percy
    Dill, David L.
    [J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 70, 2017, 70
  • [12] PACKAGE TURNS SOFTWARE SPECS INTO FULLY CODED BUG-FREE BASIC PROGRAM
    SMITH, K
    [J]. ELECTRONICS-US, 1981, 54 (11): : 74 - 74
  • [13] Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
    Bucur, Doma
    Kwiatkowska, Marta
    [J]. AMBIENT INTELLIGENCE, PROCEEDINGS, 2009, 5859 : 101 - 105
  • [14] bf4: towards bug-free P4 programs
    Dumitrescu, Dragos
    Stoenescu, Radu
    Negreanu, Lorina
    Raiciu, Costin
    [J]. SIGCOMM '20: PROCEEDINGS OF THE 2020 ANNUAL CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION ON THE APPLICATIONS, TECHNOLOGIES, ARCHITECTURES, AND PROTOCOLS FOR COMPUTER COMMUNICATION, 2020, : 571 - 585
  • [15] Toward Bug-free Multicore SoC Architectures: System Validation with Transaction-Level Models
    Chakrabarty, Krishnendu
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2011, 28 (03): : 4 - 4
  • [16] Buyer beware! How to get bug-free systems in the era of computer-based control
    Baltimore Gas & Electric Co, Baltimore, United States
    [J]. Control, 1
  • [17] The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform
    Baudin, Patrick
    Bobot, Francois
    Buhler, David
    Correnson, Loic
    Kirchner, Florent
    Kosmatov, Nikolai
    Maroneze, Andre
    Perrelle, Valentin
    Prevosto, Virgile
    Signoles, Julien
    Williams, Nicky
    [J]. COMMUNICATIONS OF THE ACM, 2021, 64 (08) : 56 - 68
  • [18] Naturally Bug-Free: 75 Nontoxic Recipes for Repelling Mosquitoes, Ticks, Fleas, Ants, Moths & Other Pesky Insects
    Ellis, Karen
    [J]. LIBRARY JOURNAL, 2016, 141 (02) : 77 - 78
  • [19] Baby & Food: New free App for the first Year of One's Life
    不详
    [J]. GYNAKOLOGISCHE ENDOKRINOLOGIE, 2015, 13 (01): : 60 - 60
  • [20] Bug free
    Cohen, P
    [J]. NEW SCIENTIST, 1998, 159 (2149) : 6 - 6
12345