Proven correct monitors from PSL specifications
type: Dataset
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: pacs-8542
keyword: spinanoengineering-sciences-physicsmicro-and-nanotechnologiesmicroelectronics
keyword: psl
keyword: vhdl
keyword: infoeu-reposemanticsconferenceobject
landing page: Proceedings of the conference on Design, automation and test in Europe
description: ISBN:3-9810801-0-6
issued: 2026-05-14T06:04:41.370678
language: en
modified: 2026-05-14T06:04:41.370683

Proven correct monitors from PSL specifications
type: Distribution
access URL: https://hal.science/hal-00079311
format: HTML
issued: 2026-05-14T06:04:41.374250
modified: 2026-05-14T06:04:41.356874

test_moissonnage_selune
type: Agent