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

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319498140, 9783319498157
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking Requirements

2016 ◽  
pp. 217-234
Author(s):  
Sérgio Barza ◽  
Gustavo Carvalho ◽  
Juliano Iyoda ◽  
Augusto Sampaio ◽  
Alexandre Mota ◽  
...  
Keyword(s):  
Model Checking

scholarly journals On Interval Dynamic Logic

2016 ◽  
pp. 129-144 ◽  
Author(s):  
Regivan H. N. Santiago ◽  
Benjamín Bedregal ◽  
Alexandre Madeira ◽  
Manuel A. Martins
Keyword(s):  
Dynamic Logic

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

2016 ◽  
pp. 145-160 ◽  
Author(s):  
Facundo Molina ◽  
César Cornejo ◽  
Renzo Degiovanni ◽  
Germán Regis ◽  
Pablo F. Castro ◽  
...  
Keyword(s):  
Evolutionary Approach ◽  
Declarative Specifications

An Approach for Verifying Educational Robots

2016 ◽  
pp. 59-77
Author(s):  
Sidney Nogueira ◽  
Taciana Pontual Falcão ◽  
Alexandre Mota ◽  
Emanuel Oliveira ◽  
Itamar Moraes ◽  
...  
Keyword(s):  
Educational Robots
Load More ...
Sign in / Sign up

Export Citation Format

Share Document