Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems
By: Victor Nikiforov and Sergey Baranov
Language: English
Page range: 85 - 96
Published on: Jun 22, 2016
Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2016 Victor Nikiforov, Sergey Baranov, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.