Search - IFIP Open Digital Library

9 results

Structure: Internal structure identifier : 327246

hal_authIdPerson_i : 985906

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

		Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms Rogério Campos-Rebelo , Anikó Costa , Luís Gomes 3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.151-160, ⟨10.1007/978-3-642-28255-3_17⟩ Conference papers hal-01365580v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System Filipe Moutinho , Luís Gomes , Paulo Barbosa , João Paulo Barros , Franklin Ramalho , et al. 2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.237-245, ⟨10.1007/978-3-642-19170-1_26⟩ Conference papers hal-01566548v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets Fernando Pereira , Filipe Moutinho , Luís Gomes 3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.123-132, ⟨10.1007/978-3-642-28255-3_14⟩ Conference papers hal-01365577v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Analysis and Generation of Logical Signals for Discrete Events Behavioral Modeling Rogério Campos-Rebelo , Anikó Costa , Luis Gomes 6th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2015, Costa de Caparica, Portugal. pp.147-156, ⟨10.1007/978-3-319-16766-4_16⟩ Conference papers hal-01343478v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Raising Awareness for Value Creation Potential in Engineering Research Luis M. Camarinha-Matos , João Goes , Luís Gomes , João Martins 3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.3-6, ⟨10.1007/978-3-642-28255-3_1⟩ Conference papers hal-01365559v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems Filipe Moutinho , Luís Gomes 3rd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2012, Costa de Caparica, Portugal. pp.143-150, ⟨10.1007/978-3-642-28255-3_16⟩ Conference papers hal-01365579v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		On Structuring Events for IOPT Net Models Rogério Campos-Rebelo , Anikó Costa , Luís Gomes 4th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2013, Costa de Caparica, Portugal. pp.229-238, ⟨10.1007/978-3-642-37291-9_25⟩ Conference papers hal-01348759v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design Paulo Barbosa , João Paulo Barros , Franklin Ramalho , Luís Gomes , Jorge Figueiredo , et al. 2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. pp.256-265, ⟨10.1007/978-3-642-19170-1_28⟩ Conference papers hal-01566552v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Energy Consumption Monitoring System for Large Complexes André Jorge , João Guerreiro , Pedro Pereira , João Martins , Luís Gomes First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.417-424, ⟨10.1007/978-3-642-11628-5_46⟩ Conference papers hal-01060766v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More