BackKomunikazioak;;Comunicaciones: Recent submissions
Now showing items 149-152 of 343
-
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 ... -
One-Pass Context-Based Tableaux Systems for CTL and ECTL
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020-09-25)When building tableau for temporal logic formulae, applying a two-pass construction, we first check the validity of the given tableaux input by creating a tableau graph, and then, in the second “pass”, we check if all the ...