Search results
Computer Standards & Interfaces > 2014 > 36 > 6 > 953-962
Przegląd Elektrotechniczny > 2010 > R. 86, nr 9 > 101-105
Software & Systems Modeling > 2019 > 18 > 5 > 2973-3003
China Communications > 2016 > 13 > 5 > 89 - 102
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 90-105
Communications in Computer and Information Science > Information Computing and Applications > Parallel and Distributed Computing > 137-143
Communications in Computer and Information Science > Theoretical and Mathematical Foundations of Computer Science > 283-289
Journal of King Saud University - Computer and Information Sciences > 2015 > 27 > 4 > 376-385
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 6 > 685-706
International Journal of Information Security > 2015 > 14 > 3 > 221-247
IEEE Transactions on Industrial Informatics > 2013 > 9 > 4 > 1836 - 1846