Checking Consistency of UML state and sequence diagrams using B
type: Dataset
description: 11 pages
landing page: Japan-Vietnam Workshop on Software Engineering 2006 (JVSE'06)
keyword: conference-papers
keyword: consistencey
keyword: formal-method
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: proof
keyword: uml-diagrams
issued: 2026-05-05T15:55:37.430684
modified: 2026-05-05T15:55:37.430689
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Checking Consistency of UML state and sequence diagrams using B
type: Distribution
format: HTML
access URL: https://hal.science/hal-00097561
issued: 2026-05-05T15:55:37.433020
modified: 2026-05-05T15:55:37.417015