Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By ACM Press

9781450357180
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formal verification of complex robotic systems on resource-constrained platforms

2018 ◽  
Author(s):  
Mohammed Foughali ◽  
Bernard Berthomieu ◽  
Silvano Dal Zilio ◽  
Pierre-Emmanuel Hladik ◽  
Félix Ingrand ◽  
...  
Keyword(s):  
Formal Verification ◽  
Robotic Systems ◽  
Resource Constrained

scholarly journals Modeling time in Java programs for automatic error detection

2018 ◽  
Author(s):  
Giovanni Liva ◽  
Muhammad Taimoor Khan ◽  
Francesco Spegni ◽  
Luca Spalazzi ◽  
Andreas Bollin ◽  
...  
Keyword(s):  
Error Detection ◽  
Java Programs ◽  
Automatic Error
Load More ...
Sign in / Sign up

Export Citation Format

Share Document