Search Results - Biernacki, Jerzy

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Alvis models of safety critical systems state-base verification with nuXmv

    Alvis models of safety critical systems state-base verification with nuXmv by Jerzy Biernacki

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Discrete-Time Systems Modeling and Verification With Alvis Language and Tools

    Discrete-Time Systems Modeling and Verification With Alvis Language and Tools by Szpyrka, Marcin, Wypych, Michal, Biernacki, Jerzy, Podolski, Lukasz

    Published in IEEE access
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Tools and Methods for RTCP-Nets Modeling and Verification

    Tools and Methods for RTCP-Nets Modeling and Verification by Szpyrka, Marcin, Biernacki, Jerzy, Biernacka, Agnieszka

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Minimization of magnetoacoustic resonant tags for the electronic article surveillance system

    Minimization of magnetoacoustic resonant tags for the electronic article surveillance system by Świderski, Mariusz, Gulczyński, Adam, Biernacki, Jerzy

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    State-based verification of RTCP-nets with nuXmv

    State-based verification of RTCP-nets with nuXmv by Biernacka Agnieszka, Biernacki Jerzy, Szpyrka Marcin

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Action-based verification of RTCP-nets with CADP

    Action-based verification of RTCP-nets with CADP by Biernacki Jerzy, Biernacka Agnieszka, Szpyrka Marcin

    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: