Dataset - CKAN

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Tim...

Time properties are key requirements for the reliability of Safety Critical Real-Time Systems (RTS). UML and MARTE are standardized modelling languages widely accepted...
- HTML

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