Formal Methods in System Design: Guest editorial

被引：0
|
作者：
Naval Research Laboratory, Washington, DC, United States [1 ]
不详 [2 ]
机构：
来源：
Formal Methods Syst Des | 2007年 / 1卷 / 1-3期
关键词：
D O I：
10.1007/s10703-006-0018-x
中图分类号：
学科分类号：
摘要：
No abstract available
引用
收藏
相关论文
共 50 条
  • [21] Guest Editorial: Special Issue on Architectures and Design Methods for Neural Networks
    Ahmed Hemani
    Mohammed Shafique
    Kolin Paul
    Journal of Signal Processing Systems, 2020, 92 : 1215 - 1217
  • [22] FORMAL METHODS IN COMPUTING - EDITORIAL
    WICHMANN, B
    COMPUTER JOURNAL, 1989, 32 (05): : 385 - 385
  • [23] Guest Editorial: Special Issue on Architectures and Design Methods for Neural Networks
    Hemani, Ahmed
    Shafique, Mohammed
    Paul, Kolin
    JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2020, 92 (11): : 1215 - 1217
  • [24] Guest Editorial: Special Issue on Architectures and Design Methods for Neural Networks
    Hemani, Ahmed
    Shafique, Mohammed
    Paul, Kolin
    JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2020,
  • [25] Guest Editorial: Special Issue on Architectures and Design Methods for Neural Networks
    Hemani, Ahmed
    Shafique, Mohammed
    Paul, Kolin
    Journal of Signal Processing Systems, 2020, 92 (11) : 1215 - 1217
  • [26] Guest Editorial: Special Issue on Models and Methodologies for System Design
    Ienne, Paolo
    Talpin, Jean-Pierre
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2016, 15 (02)
  • [27] Guest Editorial for Special Issue Application of Concurrency to System Design
    Barkaoui, Kamel
    Bernardinello, Luca
    Mokhov, Andrey
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (04)
  • [28] Guest Editorial: Advanced Techniques for Efficient Electronic System Design
    Pramod K. Meher
    Saraju P. Mohanty
    A. P. Vinod
    Circuits, Systems, and Signal Processing, 2013, 32 : 2539 - 2541
  • [29] Formal methods: The next generation of system design tools
    Schofield, Mike
    Quality and Reliability Engineering International, 1992, 8 (06) : 549 - 555
  • [30] Special Section Guest Editorial: Advances in Computational Methods for Optical System Forward- and Inverse-Design
    Campbell, Sawyer D.
    Jungwirth, Matthew E. L.
    OPTICAL ENGINEERING, 2023, 62 (02)
12345