Showing 1 - 2 results of 2 for search '"time automata"', query time: 0.04s Refine Results
  1. 1
    Role-based abstract modeling of blockchain auction contracts and verification of temporal security and fairness

    Role-based abstract modeling of blockchain auction contracts and verification of temporal security and fairness by WANG Changjing, OUYANG Junyuan, ZHANG Qufa, ZUO Zhengkang, CHENG Zhuo, LU Jiaxing

    Published 2024-10-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Modeling and verifying based on timed automata of Internet of things gateway security system

    Modeling and verifying based on timed automata of Internet of things gateway security system by Guoqing WANG, Lei ZHUANG, Ruimin WANG, Yu SONG, Kunli ZHANG

    Published 2018-03-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: