Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers
type: Dataset
description: International audience
issued: 2026-05-05T13:32:09.345399
language: en
modified: 2026-05-05T13:32:09.345404
contact point: Organization
  fn: CCSD
keyword: conformance-test
keyword: formal-methods
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-aucomputer-science-csautomatic-control-engineering
keyword: journal-articles
keyword: mealy-machine
keyword: programmable-logic-controller
keyword: single-input-change
keyword: test-sequence
keyword: test-verdict
landing page: 1551-3203

Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers
type: Distribution
format: HTML
issued: 2026-05-05T13:32:09.352751
modified: 2026-05-05T13:32:09.325294
access URL: https://hal.science/hal-00982396

test_moissonnage_selune
type: Agent