Dataset - LDM

RADAR (Research Data Repository)

Imported

Companion material for the phd thesis "formal specification and verification ...

Abstract: This archive contains the evaluation for "Formal Specification and Verification for Automated Production Systems". In particular, you find evaluation environments for...
- Imported Dataset

You can also access this registry using the API (see API Docs).

Before browse our site, please accept our cookies policy