Work

LTLc/CCSL: a Polychronous Temporal Logic

Year: 2025

Type: conference-paper

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Zhang, Yuanrui, Mallet, Frédéric, Zhang, Min, Liu, Zhiming

Institutions: Southwest University, Nanjing University of Aeronautics and Astronautics, Université Côte d'Azur, Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis, KAIROS: Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques, East China Normal University, Northwest University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4416911025

FWCI:

Cites:

Cited by:

Related to: