Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems
By: Victor Nikiforov and Sergey Baranov
Authors
Victor Nikiforov
Sergey Baranov
DOI: https://doi.org/10.1515/cait-2016-0022 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702 (formerly 1314-4081)
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
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.