Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319050317, 9783319050324
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

DISPAS: An Agent-Based Tool for the Management of Fishing Effort

2014 ◽  
pp. 362-367 ◽  
Author(s):  
Pierluigi Penna ◽  
Nicola Paoletti ◽  
Giuseppe Scarcella ◽  
Luca Tesei ◽  
Mauro Marini ◽  
...  
Keyword(s):  
Fishing Effort ◽  
Agent Based

Verification of Scheme Plans Using CSP $$||$$ | | B

2014 ◽  
pp. 189-204 ◽  
Author(s):  
Philip James ◽  
Faron Moller ◽  
Hoang Nga Nguyen ◽  
Markus Roggenbach ◽  
Steve Schneider ◽  
...  

scholarly journals Towards Global and Local Types for Adaptation

2014 ◽  
pp. 3-14 ◽  
Author(s):  
Mario Bravetti ◽  
Marco Carbone ◽  
Thomas Hildebrandt ◽  
Ivan Lanese ◽  
Jacopo Mauro ◽  
...  
Keyword(s):  
Global And Local

Validation of Railway Interlocking Systems by Formal Verification, A Case Study

2014 ◽  
pp. 237-252 ◽  
Author(s):  
Andrea Bonacchi ◽  
Alessandro Fantechi ◽  
Stefano Bacherini ◽  
Matteo Tempestini ◽  
Leonardo Cipriani
Keyword(s):  
Formal Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document