BackKomunikazioak;;Comunicaciones: Recent submissions
Now showing items 129-132 of 324
-
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach
(Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018-10-08)Temporal logic has become essential for various areas in computer science, most notably for the specification and verification of hardware and software systems. For specification purposes rich temporal languages are required ... -
Towards Certified Model Checking for PLTL Using One-Pass Tableaux
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019-10-19)The standard model checking setup analyses whether the given system specification satisfies a dedicated temporal property of the system, providing a positive answer here or a counter-example. At the same time, it is often ... -
Technique for embedding fiber optics in metallic structures for Smart material applications
(NDT.net, 2016)In this paper a technique to embed fiber optic sensors (FOS) to metallic structures is presented and validated opening possibilities to smart metallic structures. The technique is based in widely adopted and low cost TIG ... -
Introducing FURLEUS: a cross-country, cross-stage, cross-level comparison of Friulian and Basque teachers’ language attitudes and motivation in search of best practices
Bier, Ada; Lasagabaster Herrarte, David
(Forum, 2023)
The main aim of this contribution is to introduce the FURLEUS project, whose acronym stands for FURLan (i.e., Friulian) + EUSkara (i.e., Basque) and which is funded within the Horizon 2020—Marie-Skłodowska Curie Actions—European ...