Search
Now showing items 1-3 of 3
Virtual International Collaboration as a Tool for Teaching Online Journalism at the University Level: A Pedagogical Proposal
(REDINE / Adaya Press, 2018)
This paper examines teaching approaches applied during the academic years 2017–2018 and 2018– 2019 in Online Newswriting, a course forming part of the core undergraduate journalism curriculum at UPV/EHU. At the moment they ...
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 ...
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 ...