Filters
  • Collections
  • Group objects
  • File type
  • Content format

Search for: [Subject and Keywords = safeness] OR [Subject and Keywords = control part of the cyber\-physical system] OR [Subject and Keywords = Petri nets] OR [Subject and Keywords = state machine cover] OR [Subject and Keywords = place invariant] OR [Title = Analysis of safeness in a Petri net\-based specification of the control part of cyber\-physical systems] OR [Creator = Wojnakowski, Marcin] OR [Creator = Wiśniewski, Remigiusz] OR [Creator = Bazydło, Grzegorz] OR [Creator = Popławski, Mateusz]

Number of results: 9

Items per page:
AMCS, volume 34 (2024)

Patalas-Maliszewska, Justyna Wiśniewski, Remigiusz Zhou, MengChu Topczak, Marcin Wojnakowski, Marcin Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2024
artykuł
AMCS, volume 13 (2003)

Gu, Tianlong Bahri, Parisa A. Cai, Guoyong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2003
artykuł
AMCS, volume 28 (2018)

Li, Ben Khlif-Bouassida, Manel Toguéyni, Armand Puig, Vicenç - ed. Sauter, Dominique - ed. Aubrun, Christophe - ed. Schulte, Horst - ed.

2018
artykuł
AMCS, volume 33 (2023)

Teren, Viktor Cortadella, Jordi Villa, Tiziano Niemiec, Marcin - ed. Dziech, Andrzej - ed. Wassermann, Jakob - ed.

2023
artykuł
AMCS, Volume 21 (2011)

Wiśniewski, Remigiusz Barkalov, Alexander Titarenko, Larysa Halang, Wolfgang A. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2011
artykuł

This page uses 'cookies'. More information