Search - IFIP - Lecture Notes in Computer Science

4 results

labStructName_s : Inria Rennes – Bretagne Atlantique

labStructName_s : Centro de Investigaçao e Desenvolvimento em Matematica e Aplicaçoes

labStructName_s : Airbus Operation S.A.S.

Deposit type : Fulltext

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

		Introducing Interval Differential Dynamic Logic Daniel Figueiredo 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.69-75, ⟨10.1007/978-3-030-89247-0_5⟩ Conference papers hal-04074513v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Mastodon Facebook X LinkedIn More
		Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs Elodie Bouzekri , Célia Martinie , Philippe Palanque , Katrina Atwood , Christine Gris 18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), IFIP Technical Committee 13 on Human–Computer Interaction, Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩ Conference papers hal-03376253v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Mastodon Facebook X LinkedIn More
		Adding Proof Calculi to Epistemic Logics with Structured Knowledge Mario Benevides , Alexandre Madeira , Manuel A. Martins 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.53-68, ⟨10.1007/978-3-030-89247-0_4⟩ Conference papers hal-04074528v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Mastodon Facebook X LinkedIn More
		SpecK: Composition of Stream Processing Applications over Fog Environments Davaadorj Battulga , Daniele Miorandi , Cédric Tedeschi DAIS 2021 - 21st International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.38-54, ⟨10.1007/978-3-030-78198-9_3⟩ Conference papers hal-03259975v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Mastodon Facebook X LinkedIn More