Вы здесь

Virbitskaite I.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ A Categorical View of Timed Weak Bisimulation 2010 Gribovskaya N., Virbitskaite I. Lecture Notes in Computer Science LNCS 29.06.2010
СТ A Partial Order Method for the Verification of Time Petri Nets 1999 Virbitskaite I., Pokozy E. Lecture Notes in Computer Science 29.09.1999
СТ Branching Processes of Petri Nets 2016 Virbitskaite I., Borolyov V., Popova-Zeugmann L. Lecture Notes in Computer Science PSI 10 05.09.2016
СТ 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
П Comparing Logical and Behavioural Equivalences for Event Structures 1996 Virbitskaite I., Votintseva A., Best E. Univ. Hildesheim 22.04.1998
СТ Comparing Semantics Under Strong Timing of Petri Nets 2015 Virbitskaite I., Bushin D. Lecture Notes in Computer Science 02.09.2015
СТ 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
П Investigating Semantic Notions for Coloured Dataflow Netwirks 1996 Virbitskaite I., Votintseva A., Chkliaev D. Univ. Hildesheim 22.04.1998
П Investigating Semantic Notions for Coloured Dataflow Networks 1996 Virbitskaite I., Votintseva A., Chkliaev D. Hildesheimer Informatik-Berichte 06.04.1998
СТ 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
СТ Towards Parametric Verification of Prioritized Time Petri Nets 2009 Dedova A., Virbitskaite I. Lecture Notes in Computer Science 29.03.2011