RoboWorld: verification of robotic systems with environment in the loop (Q7028285)
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 7983655
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | RoboWorld: verification of robotic systems with environment in the loop |
scientific article; zbMATH DE number 7983655 |
Statements
RoboWorld: verification of robotic systems with environment in the loop (English)
0 references
12 February 2025
0 references
model-driven engineering
0 references
domain-specific languages
0 references
controlled natural languages
0 references
hybrid systems
0 references
process algebra
0 references
