Pavlo Tokariev

Orcid: 0000-0002-4603-4770

According to our database1, Pavlo Tokariev authored at least 3 papers between 2024 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Understandable Timing Analysis of Service-Oriented Architecture Components in Software-Defined Vehicle.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2025

2024
Modular real-time clock constraint specification language. (Langage modulaire pour la spécification de contraintes d'horloges logiques et temps-réel).
PhD thesis, 2024

Real-Time CCSL: Application to the Mechanical Lung Ventilator.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024


  Loading...