Search

Your search keyword '"Wisniewski, Remigiusz"' showing total 83 results

Search Constraints

Start Over You searched for: Author "Wisniewski, Remigiusz" Remove constraint Author: "Wisniewski, Remigiusz"
83 results on '"Wisniewski, Remigiusz"'

Search Results

1. Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets

2. A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System

3. Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net

5. Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems

6. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems

10. Introduction

16. Related Work

17. Conclusions

43. Representation of Primes in the Form p = 6 ∙ x ± 1 and its Application to the RSA Prime Factorization.

Catalog

Books, media, physical & digital resources