Author:
Filipovikj Predrag,Mahmud Nesredin,Marinescu Raluca,Seceleanu Cristina,Ljungkrantz Oscar,Lönn Henrik
Publisher
Springer International Publishing
Reference13 articles.
1. Dabney, J.B., Harman, T.L.: Mastering Simulink. Pearson/Prentice Hall, Upper Saddle River (2004)
2. Communications in Computer and Information Science;A Legay,2016
3. David, A., Larsen, K.G., Legay, A., Mikučionis, M., Poulsen, D.B.: UPPAAL SMC tutorial. STTT J. 17(4), 397–415 (2015)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);KRM Leino,2010
5. Lecture Notes in Computer Science;J Barnat,2012
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献