Formal methods for engineering special-purpose parallel systems introduction to minitrack

被引：0
|
作者：
Abdallah, A.E. [1 ]
Luk, W. [2 ]
机构：
[1] Centre for Applied Formal Methods, South Bank University, 103 Borough Road, London,SE1 0AA, United Kingdom
[2] Department of Computing, Imperial College, 180 Queen's Gate, London,SW7 2BZ, United Kingdom
来源：
Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003 | 2003年
关键词：
D O I：
10.1109/HICSS.2003.1174807
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [31] Some mathematical and software tools for the development of special-purpose expert systems
    L. M. Zakhariya
    Cybernetics and Systems Analysis, 1997, 33 : 609 - 614
  • [32] Some mathematical and software tools for the development of special-purpose expert systems
    Zakhariya, LM
    CYBERNETICS AND SYSTEMS ANALYSIS, 1997, 33 (04) : 609 - 614
  • [33] Methods and approaches in organizational systems research introduction to the minitrack
    Qureshi, Sajda
    de Vreede, Gert-Jan
    Vogel, Doug
    Proceedings of the Annual Hawaii International Conference on System Sciences, 2000, 2000-January
  • [34] Methods and tools for information systems development - Introduction to minitrack
    Hevner, AR
    Linger, RC
    PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL VI: ORGANIZATIONAL SYSTEMS AND TECHNOLOGY TRACK, 1998, : 72 - 72
  • [35] CHOOSING MULTIPLE PROCESSOR THROUGHPUTS FOR A FAMILY OF SPECIAL-PURPOSE COMPUTING SYSTEMS
    VEDESHENKOV, VA
    VLASENKO, NA
    VOLKOV, AF
    AUTOMATION AND REMOTE CONTROL, 1982, 43 (04) : 552 - 559
  • [36] SPECIAL-PURPOSE COMPUTER FOR VIDEO SIGNAL-PROCESSING IN RADAR SYSTEMS
    CORSINI, P
    FROSINI, G
    LOPRIORE, L
    IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1980, 127 (04): : 109 - 119
  • [37] PROVING PROPERTIES OF ELEMENTARY NET SYSTEMS WITH A SPECIAL-PURPOSE THEOREM PROVER
    TUOMINEN, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 407 : 97 - 104
  • [38] Artificial Intelligence in Engineering Human-oriented Analysis of Potentials Using the Example of Special-Purpose Engineering
    Kharatyan A.
    Humpert L.
    Anacker H.
    Dumitrescu R.
    Wäschle M.
    Albers A.
    Horstmeyer S.
    ZWF Zeitschrift fuer Wirtschaftlichen Fabrikbetrieb, 2022, 117 (06): : 427 - 431
  • [39] Special issue on formal methods for security engineering
    Santone, Antonella
    JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES, 2018, 14 (04) : 251 - 251
  • [40] Special issue on 'Software Engineering and Formal Methods'
    不详
    SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
12345