location： Current position: Home >> Scientific Research >> Paper Publications

Specification and Verification of Multiclock Systems using a Temporal Logic with Clock Constraints

Hits:

Title of Paper:Specification and Verification of Multiclock Systems using a Temporal Logic with Clock Constraints

Journal:Formal Aspects of Computing (CCF B)

Abstract:(CCF B)

Indexed by:Journal paper

Volume:36

Issue:2

Translation or Not:no

Date of Publication:2024-01-01

Included Journals:SCI、SCIE

Pre One:A Dynamic Logic with Branching Modalities

Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

Click : times
  • MOBILE Version
    •
    Open time:..
    The Last Update Time:..

    Mobile phone sweep