Proceedings of the 8th International Conference on Formal Methods in Software Engineering
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 14)

H-INDEX

1
(FIVE YEARS 1)

Published By ACM

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

Rule-based Word Equation Solving

2020 ◽  
Author(s):  
Joel D. Day ◽  
Mitja Kulczynski ◽  
Florin Manea ◽  
Dirk Nowotka ◽  
Danny Bøgsted Poulsen
Keyword(s):  
Rule Based ◽  
Equation Solving ◽  
Word Equation

Mind the gap

2020 ◽  
Author(s):  
Mehrnoosh Askarpour ◽  
Claudio Menghi ◽  
Gabriele Belli ◽  
Marcello M. Bersani ◽  
Patrizio Pelliccione

scholarly journals Formal Model-Based Assurance Cases in Isabelle/SACM

2020 ◽  
Author(s):  
Simon Foster ◽  
Yakoub Nemouchi ◽  
Colin O'Halloran ◽  
Karen Stephenson ◽  
Nick Tudor
Keyword(s):  
Formal Model ◽  
Model Based ◽  
Assurance Cases

Relational Test Tables

2020 ◽  
Author(s):  
Alexander Weigl ◽  
Mattias Ulbrich ◽  
Suhyun Cha ◽  
Bernhard Beckert ◽  
Birgit Vogel-Heuser

UML Consistency Rules

2020 ◽  
Author(s):  
Damiano Torre ◽  
Yvan Labiche ◽  
Marcela Genero ◽  
Maged Elaasar ◽  
Claudio Menghi
Load More ...
Sign in / Sign up

Export Citation Format

Share Document