Modélisation algorithmique et synthèse d'architectures assistées par model-checking
type: Distribution
access URL: https://ensta.hal.science/hal-00703785
format: HTML
issued: 2026-05-16T06:25:57.919168
modified: 2026-05-16T06:25:57.877606

test_moissonnage_selune
type: Agent

Modélisation algorithmique et synthèse d'architectures assistées par model-checking
type: Dataset
contact point: Organization
  fn: CCSD
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: patrons-de-proprietes
keyword: infoeu-reposemanticsconferenceobject
keyword: observateurs
keyword: infoinfo-arcomputer-science-cshardware-architecture-csar
keyword: performances-de-calcul
keyword: verification-formelle
keyword: conference-papers
keyword: architectures-de-calcul
landing page: CAL 2012
description: International audience
issued: 2026-05-16T06:25:57.901677
language: en
modified: 2026-05-16T06:25:57.901683