Lecture Notes in Computer Science - Formal Methods: Foundations and Applications
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319708478, 9783319708485
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals OptCE: A Counterexample-Guided Inductive Optimization Solver

2017 ◽  
pp. 125-141
Author(s):  
Higo F. Albuquerque ◽  
Rodrigo F. Araújo ◽  
Iury V. Bessa ◽  
Lucas C. Cordeiro ◽  
Eddie B. de Lima Filho
Keyword(s):  
Guided Inductive

scholarly journals Local Analysis of Determinism for CSP

2017 ◽  
pp. 107-124 ◽  
Author(s):  
Rodrigo Otoni ◽  
Ana Cavalcanti ◽  
Augusto Sampaio
Keyword(s):  
Local Analysis

scholarly journals Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems

2017 ◽  
pp. 179-196 ◽  
Author(s):  
Normann Decker ◽  
Philip Gottschling ◽  
Christian Hochberger ◽  
Martin Leucker ◽  
Torben Scheffel ◽  
...  
Keyword(s):  
Online Monitoring
Load More ...
Sign in / Sign up

Export Citation Format

Share Document