An Instrumented Mobile Language Learning Application for the Analysis of Usability and Learning

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1
1. Verfasser: Aibassova, Aigerim (VerfasserIn)
Weitere Verfasser: Cerone, Antonio (VerfasserIn), Tashkenbayev, Mukhtar (VerfasserIn)
Pages:1
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Experiences with Streamlining Formal Methods Tools 2020 Masci, Paolo
Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table 2020 Ročkai, Petr
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B 2020 Dalvandi, Mohammadsadegh
How to Look Next? A Data-Driven Approach for Scanpath Prediction 2020 Boccignone, Giuseppe
An Ontology-Based Approach to Support Formal Verification of Concurrent Systems 2020 Garanina, Natalia
Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach 2020 D’Amelio, Alessandro
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs 2020 Clark, Keith
Verifying Smart Contracts with Cubicle 2020 Conchon, Sylvain
A Mission Definition, Verification and Validation Architecture 2020 Viard, Louis
A Distributed Blockchain Model of Selfish Mining 2020 Eijkel, Dennis
Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets 2020 Jaidka, Sapna
Compiling C and C++ Programs for Dynamic White-Box Analysis 2020 Baranová, Zuzana
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking 2020 Broccia, Giovanna
“Know Thyself” How Personal Music Tastes Shape the Last.Fm Online Social Network 2020 Guidotti, Riccardo
Anomaly Detection from Log Files Using Unsupervised Deep Learning 2020 Bursic, Sathya
Smart Contracts: Application Scenarios for Deductive Program Verification 2020 Beckert, Bernhard
Deductive Proof of Industrial Smart Contracts Using Why3 2020 Nehaï, Zeinab
Statistical Model Checking of RANDAO’s Resilience to Pre-computed Reveal Strategies 2020 Alturki, Musab A.
Towards a Verified Model of the Algorand Consensus Protocol in Coq 2020 Alturki, Musab A.
Smart Contract Interactions in Coq 2020 Nielsen, Jakob Botsch
Alle Artikel auflisten