Data constraints for validation of real-time software (Q3619259)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5540311
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Data constraints for validation of real-time software |
scientific article; zbMATH DE number 5540311 |
Statements
3 April 2009
0 references
verification and validation
0 references
software engineering
0 references
real-time software architecture
0 references
real-time maude
0 references
data constraints
0 references
0.662013828754425
0 references
0.6612702012062073
0 references
0.656829833984375
0 references
