Search - IFIP Open Digital Library

6 results

authFullName_s : Manuel Núñez

	For these 6 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 Testing of Timed and Probabilistic Systems Manuel Núñez 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.9-14, ⟨10.1007/978-3-642-24580-0_2⟩ Conference papers hal-01583920v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Controllability Through Nondeterminism in Distributed Testing Robert M. Hierons , Mercedes G. Merayo , Manuel Núñez 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.89-105, ⟨10.1007/978-3-319-47443-4_6⟩ Conference papers hal-01643709v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Specification and Testing of E-Commerce Agents Described by Using UIOLTSs Juan José Pardo , Manuel Núñez , M. Carmen Ruiz Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.78-86, ⟨10.1007/978-3-642-13464-7_7⟩ Conference papers hal-01055144v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Testing Probabilistic Distributed Systems Robert M. Hierons , Manuel Núñez Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.63-77, ⟨10.1007/978-3-642-13464-7_6⟩ Conference papers hal-01055146v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		A Comparative Study of Younger and Older Adults’ Interaction with a Crowdsourcing Android TV App for Detecting Errors in TEDx Video Subtitles Kinga Skorupska , Manuel Núñez , Wiesław Kopeć , Radosław Nielek 17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.455-464, ⟨10.1007/978-3-030-29387-1_25⟩ Conference papers hal-02553883v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Passive Testing with Asynchronous Communications Robert M. Hierons , Mercedes G. Merayo , Manuel Núñez 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.99-113, ⟨10.1007/978-3-642-38592-6_8⟩ Conference papers hal-01515240v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More