Bounded Model Checking for Timed Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

Bounded Model Checking for Timed Systems

Alessandro Cimatti
  • Fonction : Auteur
Artur Kornilowicz
  • Fonction : Auteur
Roberto Sebastiani
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-03299487 , version 1 (26-07-2021)

Identifiants

  • HAL Id : hal-03299487 , version 1

Citer

Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani. Bounded Model Checking for Timed Systems. 22nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'02), 2002, Houston, United States. pp.243-259. ⟨hal-03299487⟩
11 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More