Search - IFIP - Lecture Notes in Computer Science

3 results

Deposit type : Fulltext

labStructName_s : DSIC

labStructName_s : Institute of Computer Science

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

		ViSE - A Virtual Smart Environment for Usability Evaluation Stefan Propp , Peter Forbrig Third IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.38-45, ⟨10.1007/978-3-642-16488-0_4⟩ Conference papers hal-01055197v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Fuzzy-Timed Automata F. Javier Crespo , Alberto Encina , Luis Llana 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.140-154, ⟨10.1007/978-3-642-13464-7_12⟩ Conference papers hal-01055157v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Design and Analysis of a Generalized Canvas Protocol Marián Novotný 4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.106-121, ⟨10.1007/978-3-642-12368-9_8⟩ Conference papers hal-01056063v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More