共 9 条
[1]
acatech-National Academy of Science and Engineering, 2011, CYB PHYS SYST DRIV F
[2]
[Anonymous], 2008, 16 ACM SIGSOFT INT S, DOI DOI 10.1145/1453101.1453133
[3]
ASCENS, 2012, AUT SERV COMP ENS D4
[6]
Bures T., 2013, CBSE 13 P 16 ACM SIG, P81, DOI [10.1145/2465449.2465462, DOI 10.1145/2465449.2465462]
[7]
De Nicola R, 2014, LECT NOTES COMPUT SC, V8415, P69, DOI 10.1007/978-3-642-54848-2_5
[8]
Ferrari Gian Luigi, 2011, FORMAL METHODS COMPO, V7542, P25, DOI [10.1007/978-3-642-35887-6_2, DOI 10.1007/978-3-642-35887-6_2]