共 29 条
[1]
[Anonymous], 2001, INT WORKSHOP EMBEDDE
[2]
[Anonymous], 2001, Network Calculus: A Theory of Deterministic Queuing Systems for the Internet
[3]
AUTomotive Open System ARchitecture, 2017, SPEC RTE SOFTW
[4]
AUTomotive Open System ARchitecture, 2017, SPEC I PDU MULT
[6]
Synthesizing Job-Level Dependencies for Automotive Multi-Rate Effect Chains
[J].
2016 IEEE 22ND INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA),
2016,
:159-169
[7]
Boniol Frederic, 2013, NASA Formal Methods. 5th International Symposium, NFM 2013. Proceedings, P93, DOI 10.1007/978-3-642-38088-4_7
[10]
Parallelizing Constraint Programming with Learning
[J].
INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING, CPAIOR 2016,
2016, 9676
:142-158