skip to main content

Specification and Compositional Verification of Real-Time Systems

Jozef Hooman

Springer Berlin Heidelberg, 1991

Accessible en ligne

  • Titre:
    Specification and Compositional Verification of Real-Time Systems
  • Auteur: Jozef Hooman
  • Éditeur: Springer Berlin Heidelberg
  • Date de publication: 1991
  • Langue: Anglais
  • Identifiant: ISBN 3-540-54947-1 ;ISBN 3-540-46602-9
  • Source: Collège de France (ressources électroniques)
    Dauphine (ressources électroniques)
    Mines ParisTech (ressources électroniques)
    Observatoire de Paris (ressources électroniques)
    ESPCI Paris (ressources électroniques)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré