Login / Signup
Galyna Zholtkevych
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 1
Top Topics
Semantic Models
Colored Petri Nets
Real Time Embedded Systems
Temporal Relations
Top Venues
ICTERI
ICTERI (Revised Selected Papers)
</>
Publications
</>
Kyrylo Rukkas
,
Galyna Zholtkevych
Distributed Datastores: Towards Probabilistic Approach for Estimation of Dependability.
ICTERI
(2015)
Iryna Zaretska
,
Galyna Zholtkevych
,
Grygoriy Zholtkevych
,
Frédéric Mallet
Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems.
ICTERI
(2013)
Grygoriy Zholtkevych
,
Frédéric Mallet
,
Iryna Zaretska
,
Galyna Zholtkevych
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language.
ICTERI (Revised Selected Papers)
(2013)