Jump to:
loading...| Preferred Name | formal specification | |
| Synonyms |
|
|
| ID |
http://semanticscience.org/resource/SIO_000621 |
|
| description |
A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. |
|
| identifier |
SIO_000621 |
|
| isDefinedBy | ||
| label |
formal specification |
|
| prefixIRI |
sio:SIO_000621 |
|
| prefLabel |
formal specification |
|
| subClassOf |
Create mapping