Uneingeschränkter Zugang

Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems

Victor Nikiforov

Victor Nikiforov

Suche nach diesem Autor auf
Sciendo|Google Scholar
Nikiforov, Victor
 und 
Sergey Baranov

Sergey Baranov

Suche nach diesem Autor auf
Sciendo|Google Scholar
Baranov, Sergey
  
22. Juni 2016
Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems's Cover Image
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zitieren
COVER HERUNTERLADEN
Online veröffentlicht: 22. Juni 2016
Seitenbereich: 85 - 96
DOI: https://doi.org/10.1515/cait-2016-0022
Schlüsselwörter
© by Victor Nikiforov
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Nikiforov, Victor
Baranov, Sergey
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
4 Hefte pro Jahr
Fachgebiete der Zeitschrift:
Informatik, Informationstechnik
Zeitschrift RSS Feed