首页/数据集/Artifact for SoSyM paper: Reactive synthesis specification review for validity and quality

Artifact for SoSyM paper: Reactive synthesis specification review for validity and quality

Name: Artifact for SoSyM paper: Reactive synthesis specification review for validity and quality
Creator: Zenodo
Published: 2026-05-04T17:54:49+08:00

Zenodo2026-05-04 更新2026-05-26 收录

数据链接：

https://zenodo.org/doi/10.5281/zenodo.20028274 数据链接链接失效反馈

官方服务：

资源简介：

Artifact for SoSyM paper: Reactive synthesis specification review for validity and quality

应用场景：

提供机构：

Zenodo

创建时间：

2026-05-04

德育工具开发

教学方法创新

This article analyzes the theoretical and practical aspects of the formation of social and moral values in students through the use of paremic genres (proverbs, sayings, wise sayings) and innovative

Zenodo2026-02-26 更新00

Thomas Becket Head Reliquary Badge

中世纪朝圣文化

宗教圣物艺术

The bust reliquary badge seen here was one of the many different types sold to pilgrims to the shrine of St Thomas Becket. St Thomas was murdered in 1170 by knights of Henry II after a dispute regardi

Zenodo2026-05-29 更新00

Binary black-hole simulation SXS:BBH:0995

双黑洞

引力波天文学

Simulation of a black-hole binary system evolved by the SpEC code.

Zenodo2020-09-28 更新00

YOSH KURASHCHILARNI DASTLABKI TEXNIK VA TAKTIK TAYYORLASH

青少年摔跤训练

运动技术战术准备

The article discusses the methodological foundations of the initial technical and tactical training of young wrestlers. Also reported are the training and improvement of wrestling techniques, methodol

Zenodo2025-05-05 更新00

Explainability in Autoscaling Frameworks Questionnaire and Answers

云计算自动扩展

系统可解释性评估

Questionnaire used in the Masterthesis of Zilch Markus Contains the questionnaire in the form of a PDF and the anonymized answers of the participants.

Zenodo2023-01-24 更新00

Artifact for SoSyM paper: Reactive synthesis specification review for validity and quality

资源简介：

相关数据集