Author:
Mallet Frederic,Zhang Min
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration;IEEE Transactions on Computers;2023-05-01
2. Holistic Scheduling Algorithm for Tasks and Messages of Automotive Embedded System;2022 IEEE 24th Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys);2022-12
3. SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language;Fundamental Approaches to Software Engineering;2019