Design and formal proof of a new optimal image segmentation program with hypermaps (Q2643883)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Design and formal proof of a new optimal image segmentation program with hypermaps |
scientific article |
Statements
Design and formal proof of a new optimal image segmentation program with hypermaps (English)
0 references
27 August 2007
0 references
image segmentation
0 references
hypermaps
0 references
formal specification
0 references
Coq system
0 references
computer-aided correctness proof
0 references
0 references
