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

A Clock-based Dynamic Logic for Schedulability Analysis of CCSL Specifications

Hits:

Title of Paper:A Clock-based Dynamic Logic for Schedulability Analysis of CCSL Specifications

Journal:Science of Computer Programming (CCF B)

Note:(CCF B)

Indexed by:Journal paper

Volume:202

Page Number:102546

Translation or Not:no

Date of Publication:2021-01-01

Included Journals:SCI、SCIE

Pre One:A Clock-based Dynamic Logic for Modelling and Verification of CCSL Specifications in Synchronous Systems

Next One:A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving

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