Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030469016, 9783030469023
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations

2020 ◽  
pp. 77-94
Author(s):  
Dorra Ben Khalifa ◽  
Matthieu Martel ◽  
Assalé Adjé
Keyword(s):  
Floating Point ◽  
Mixed Precision

scholarly journals Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

2020 ◽  
pp. 21-39
Author(s):  
Neeraj Kumar Singh ◽  
Yamine Aït-Ameur ◽  
Dominique Méry ◽  
David Navarre ◽  
Philippe Palanque ◽  
...  
Keyword(s):  
Formal Development ◽  
Interactive Application

scholarly journals Probabilistic Activity Recognition for Serious Games with Applications in Medicine

2020 ◽  
pp. 106-124
Author(s):  
Elisabetta De Maria ◽  
Thibaud L’Yvonnet ◽  
Sabine Moisan ◽  
Jean-Paul Rigault
Keyword(s):  
Activity Recognition ◽  
Serious Games

Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study

2020 ◽  
pp. 57-73
Author(s):  
Shenghao Yuan ◽  
Zhibin Yang ◽  
Jean-Paul Bodeveix ◽  
Mamoun Filali ◽  
Tiexin Wang ◽  
...  
Keyword(s):  
Code Generation ◽  
Synchronous Dataflow

scholarly journals Visualising Railway Safety Verification

2020 ◽  
pp. 95-105
Author(s):  
Filippos Pantekis ◽  
Phillip James ◽  
Liam O’Reilly ◽  
Daniel Archambault ◽  
Faron Moller
Keyword(s):  
Safety Verification ◽  
Railway Safety
Load More ...
Sign in / Sign up

Export Citation Format

Share Document