test_moissonnage_selune
type: Agent

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
type: Dataset
contact point: Organization
  fn: CCSD
keyword: real-time-systems
keyword: conference-papers
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: active-and-passive-testing
keyword: formal-testing
keyword: infoeu-reposemanticsconferenceobject
landing page: ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'08)
description: International audience
issued: 2026-05-09T14:49:34.037306
language: en
modified: 2026-05-09T14:49:34.037310

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
type: Distribution
access URL: https://hal.science/hal-00865998
format: HTML
issued: 2026-05-09T14:49:34.041937
modified: 2026-05-09T14:49:34.030125