Search - IFIP Open Digital Library

7 results

Structure: Internal structure identifier : 197797

	For these 7 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems Marcin Wojnakowski , Remigiusz Wiśniewski 12th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2021, Costa de Caparica, Portugal. pp.83-91, ⟨10.1007/978-3-030-78288-7_8⟩ Conference papers hal-03685916v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Application of Hypergraphs to SMCs Selection Łukasz Stefanowicz , Marian Adamski , Remigiusz Wiśniewski , Jakub Lipiński 5th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2014, Costa de Caparica, Portugal. pp.249-256, ⟨10.1007/978-3-642-54734-8_28⟩ Conference papers hal-01274781v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Cost Projections for the Product Life Cycle at the Early Stages of Product Development Marcin Relich , Grzegorz Bocewicz , Zbigniew Banaszak IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.437-446, ⟨10.1007/978-3-030-85910-7_46⟩ Conference papers hal-03806501v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Designing Moore FSM with Transformation of State Codes Kamil Mielcarek , Alexander Barkalov , Larisa Titarenko 16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.557-568, ⟨10.1007/978-3-319-59105-6_48⟩ Conference papers hal-01656247v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems Marcin Wojnakowski , Mateusz Popławski , Remigiusz Wiśniewski , Grzegorz Bazydło 13th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jun 2022, Caparica, Portugal. pp.74-82, ⟨10.1007/978-3-031-07520-9_7⟩ Conference papers hal-04308398v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Application of an Exact Transversal Hypergraph in Selection of SM-Components Łukasz Stefanowicz , Marian Adamski , Remigiusz Wisniewski 4th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2013, Costa de Caparica, Portugal. pp.250-257, ⟨10.1007/978-3-642-37291-9_27⟩ Conference papers hal-01348761v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		EmbedCloud – Design and Implementation Method of Distributed Embedded Systems Kazimierz Krzywicki , Marian Adamski , Grzegorz Andrzejewski 6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.157-164, ⟨10.1007/978-3-319-16766-4_17⟩ Conference papers hal-01343479v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More