Вы здесь

Virbitskaite I.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Towards Parametric Verification of Prioritized Time Petri Nets 2009 Dedova A., Virbitskaite I. Lecture Notes in Computer Science 29.03.2011
СТ Real arithmetic based verification of prioritized time Perti nets with parameters 2010 Virbitskaite I., Fleischhack H., Dedova A. Computer Science Bulletin of the Novosibirsk Computing Center 05.04.2011
П Investigating Semantic Notions for Coloured Dataflow Networks 1996 Virbitskaite I., Votintseva A., Chkliaev D. Hildesheimer Informatik-Berichte 06.04.1998
П Investigating Semantic Notions for Coloured Dataflow Netwirks 1996 Virbitskaite I., Votintseva A., Chkliaev D. Univ. Hildesheim 22.04.1998
СТ From Event-Oriented Models to Transition Systems 2018 Gribovskaya N., Virbitskaite I., Best E. Lecture Notes in Computer Science Lecture Notes in Computer Science 25.09.2018
СТ Comparing Semantics Under Strong Timing of Petri Nets 2015 Virbitskaite I., Bushin D. Lecture Notes in Computer Science 02.09.2015
П Comparing Logical and Behavioural Equivalences for Event Structures 1996 Virbitskaite I., Votintseva A., Best E. Univ. Hildesheim 22.04.1998
СТ Causality-Based Testing in Time Petri Nets 2019 Bozhenkova E., Virbitskaite I., Popova-Zeugmann L. LNCS 28.01.2020
СТ Causality-Based Testing in Time Petri Nets 2019 Bozhenkova E., Virbitskaite I., Popova-Zeugmann L. PSI'19 Preliminary Proc. 14.08.2019
СТ Branching Processes of Petri Nets 2016 Virbitskaite I., Borolyov V., Popova-Zeugmann L. Lecture Notes in Computer Science PSI 10 05.09.2016
СТ A Partial Order Method for the Verification of Time Petri Nets 1999 Virbitskaite I., Pokozy E. Lecture Notes in Computer Science 29.09.1999
СТ A Categorical View of Timed Weak Bisimulation 2010 Gribovskaya N., Virbitskaite I. Lecture Notes in Computer Science LNCS 29.06.2010
СТ A Categorial Observaion of Timed Testing Equivalence 2007 Gribovskaya N., Virbitskaite I. Lecture Notes in Computer Science Lecture Notes in Computer Science 19.11.2007