Log in first for optimal use of all functions!

1–13 of 13 hits

Sort by: Relevancy | Date newest | Title A-Z

Filter results

Year of publication

-

Type of media

+ Show more

Source

+ Show more

Author

+ Show more

Subject

+ Show more

Type of material

Licence

Language

Did you mean: parasyuk igor

  • ««
  • «
  • 1
  • »»

  1. Discrete time stochastic and deterministic Petri box calculus

    Free access
    Tarasyuk, Igor V. | ArXiv | 2019
    ), previously presented by I.V. Tarasyuk, H. Maci\`a and V. Valero. In dtsdPBC, non-negative integers specify multiactions with fixed (including zero ...

  2. Equivalence relations for modular performance evaluation in dtsPBC

    TARASYUK, IGOR V. | Online Contents | 2013

  3. Behavioural equivalences for fluid stochastic Petri nets

    Free access
    Tarasyuk, Igor V. / Buchholz, Peter | ArXiv | 2017

  4. Stochastic Petri Box Calculus with Discrete Time

    Tarasyuk, Igor V. | Online Contents | 2007

  5. Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC

    Free access
    Tarasyuk, Igor V. / Macià, Hermenegilda / Valero, Valentín | ArXiv | 2017
    We propose an extension with immediate multiactions of discrete time stochastic Petri Box Calculus (dtsPBC), presented by I.V. Tarasyuk ...

  6. Tau-Equivalences and Refinement for Petri Nets Based Design

    Free access
    Tarasyuk, Igor V. | BASE | 2000

  7. The Prospects of Solving Energy Issues by Local Self-government in Podilya Under the Territorial and Administrative Reform Conditions in Ukraine

    Vakhnyak, Vasyl / Ryhlivskiy, Igor / Havryliuk, Valerii et al. | Springer Verlag | 2018

  8. Back-forth equivalences for design of concurrent systems

    Tarasyuk, Igor V. | Springer Verlag | 1997

  9. Equivalence and Lumpability of FSPNs

    Bause, Falko / Buchholz, Peter / Tarasyuk, Igor V. et al. | Springer Verlag | 2017

  10. Equivalence and Lumpability of FSPNs

    Bause, Falko / Buchholz, Peter / Tarasyuk, Igor V. et al. | British Library Conference Proceedings | 2017

  11. A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions

    Free access
    Buchholz, Peter / Tarasyuk, Igor V. | BASE | 2000

  12. The experience of designing and application of CAD systems in microelectronics : proceedings of the VIIth International Conference, CADSM 2003 : 18-22 February 2003, Lviv-Slavske, Ukraine

    CADSM 2003 / Nat︠s︡ionalʹnyĭ universytet "Lʹvivsʹka politekhnika | TIBKAT | 2003
    Table of contents: of integrated circuit 50 Volodymyr Pavlysh, Igor Danchyshyn, Roman Korzh, Lubov Zakalyk, Myroslav Dronyuk Algorithms and VLC-structures for

  13. Polypeptide composition of the a-latrotoxin receptor. High affinity binding protein consists of a family of related high molecular weight polypeptides complexed to a low molecular weight protein.

    Petrenko, Alexander G. | Online Contents | 1993
    Contributors: Tarasyuk, Tatyana A., Nasimov, Igor V.
  • ««
  • «
  • 1
  • »»

Number of results: 10 | 20 | 50

Feedback