Cited By
View all- Aßmann UGutsche C(2024)RailCabs and Birds in JuliaLeveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems10.1007/978-3-031-75107-3_12(191-207)Online publication date: 27-Oct-2024
- Li MXu JWu X(2023)Construction of Traditional Culture Ontology Based on Representation and RoleProceedings of the 2023 4th International Conference on Control, Robotics and Intelligent System10.1145/3622896.3622922(156-159)Online publication date: 25-Aug-2023
- Schütze LCastrillon JTanabe YSchütze LHirschfeld RIgarashi AMasuhara H(2023)Towards Virtual Machine Support for Contextual Role-Oriented Programming LanguagesProceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity10.1145/3605154.3605851(1-8)Online publication date: 17-Jul-2023
- Show More Cited By