Search - IFIP Open Digital Library

1 Array

hal_authIdPerson_i : 1153133

	For these 1 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

		Formal Verification of IEC 61499 Enhanced with Timed Events Viktor Shatrov , Valeriy Vyatkin 11th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Jul 2020, Costa de Caparica, Portugal. pp.168-178, ⟨10.1007/978-3-030-45124-0_16⟩ Conference papers hal-03741571v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More