共 50 条
[21]
Towards validated real-time software
[J].
EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS,
2000,
:157-164
[22]
Towards Real-Time Aggregate Computing
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: RIGOROUS ENGINEERING OF COLLECTIVE ADAPTIVE SYSTEMS, PT II, ISOLA 2024,
2025, 15220
:49-68
[23]
Towards Hard Real-Time Erlang
[J].
ERLANG'07: PROCEEDINGS OF THE 2007 SIGPLAN ERLANG WORKSHOP,
2007,
:29-36
[24]
Towards distributed real-time intelligence
[J].
Annual Review of Automatic Programming,
1991, 16 (pt 1)
[26]
Towards a robust real-time decoder
[J].
ICASSP '99: 1999 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PROCEEDINGS VOLS I-VI,
1999,
:645-648
[27]
Real-time calculation model for vehicle emissions based on floating car data
[J].
Zhongguo Huanjing Kexue/China Environmental Science,
2015, 35 (02)
:396-402
[29]
TOWARDS REAL-TIME MONITORING OF ODOUR EMISSIONS FROM WASTE TREATMENT PLANTS: A CASE STUDY
[J].
DETRITUS,
2024, 26
:106-113
[30]
Microscopic real-time simulation of large road networks
[J].
PROCEEDINGS OF THE 1998 CONFERENCE ON MISSION EARTH: MODELING AND SIMULATION OF THE EARTH SYSTEM,
1998,
:77-80