咨询与建议

限定检索结果

文献类型

  • 2 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 信息与通信工程
    • 1 篇 电气工程
    • 1 篇 控制科学与工程

主题

  • 2 篇 stationary dynam...
  • 2 篇 simulation of di...
  • 2 篇 design debugging
  • 2 篇 formal descripti...
  • 2 篇 design of digita...

机构

  • 1 篇 natl res univ hi...
  • 1 篇 the institute fo...
  • 1 篇 national researc...
  • 1 篇 russian acad sci...

作者

  • 1 篇 romanov aleksand...
  • 1 篇 alexander ivanni...
  • 1 篇 alexander stempk...
  • 1 篇 stempkovsky alex...
  • 1 篇 ivannikov alexan...
  • 1 篇 aleksandr romano...

语言

  • 2 篇 英文
检索条件"主题词=formal description of design debugging by computer simulation"
2 条 记 录,以下是1-10 订阅
排序:
Set-theoretic Model of Digital Systems Functioning
Set-theoretic Model of Digital Systems Functioning
收藏 引用
International Siberian Conference on Control and Communications (SIBCON)
作者: Ivannikov, Alexander Romanov, Aleksandr Stempkovsky, Alexander Russian Acad Sci Inst Design Problems Microelect Moscow Zelenograd Russia Natl Res Univ Higher Sch Econ Moscow Russia
For projects of digital systems, defined by the circuit diagram of blocks connection and software, it is proposed to use a mathematical model in the terms of the set theory and the theory of stationary dynamic systems... 详细信息
来源: 评论
Set-theoretic Model of Digital Systems Functioning
Set-theoretic Model of Digital Systems Functioning
收藏 引用
International Siberian Conference on Control and Communications
作者: Alexander Ivannikov Aleksandr Romanov Alexander Stempkovsky The Institute for Design Problems in Microelectronics of Russian Academy of Sciences Moscow Zelenograd Russian Federation National Research University Higher School of Economics Moscow Russian Federation
For projects of digital systems, defined by the circuit diagram of blocks connection and software, it is proposed to use a mathematical model in the terms of the set theory and the theory of stationary dynamic systems... 详细信息
来源: 评论