FACILITY FOR VERIFICATION, TESTING AND DOCUMENTATION OF CONCURRENT PROCESS SOFTWARE.

被引：0
|
作者：
Taylor, Richard N.
Osterwil, Leon J.
机构：
来源：
| 1978年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
14
引用
收藏
页码：36 / 41
相关论文
共 50 条
  • [1] Software documentation and the verification process
    Parnas, DL
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 1 - 1
  • [2] Software. Complex facility documentation. Web-based management
    Stoll, Marcus
    CIT Plus, 2002, 5 (03) : 40 - 42
  • [3] Innovative process software.
    不详
    HYDROCARBON PROCESSING, 1998, 77 (10): : 35 - +
  • [4] A formal verification technique for embedded software.
    Thiry, O
    Claesen, L
    INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1996, : 352 - 357
  • [5] CADOProSys Software. Process selection
    Chivu, Catrina
    Chivu, Catalin-Iulian
    Gavrus, Cristina
    21ST INNOVATIVE MANUFACTURING ENGINEERING & ENERGY INTERNATIONAL CONFERENCE - IMANE&E 2017, 2017, 112
  • [6] EVALUATE USER DOCUMENTATION BEFORE YOU BUY THE SOFTWARE.
    Pakin, Sandra
    IEEE Transactions on Professional Communications, 1981, PC-24 (02): : 75 - 78
  • [7] Verification of Concurrent Software
    Huisman, Marieke
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (261): : 2 - 2
  • [8] Verification of Concurrent Software
    Kroening, Daniel
    DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 159 - 178
  • [9] Testing Reasoning Software. A Bayesian Way
    Rolf, Bertil
    TRIPLEC-COMMUNICATION CAPITALISM & CRITIQUE, 2006, 4 (02): : 328 - 332
  • [10] Automated Verification of Concurrent Software
    Kroening, Daniel
    REACHABILITY PROBLEMS, 2013, 8169 : 19 - 20
12345