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

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662492239, 9783662492246
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Synthesis of Protocol Converters with BALM-II

2015 ◽  
pp. 281-296 ◽  
Author(s):  
Giovanni Castagnetti ◽  
Matteo Piccolo ◽  
Tiziano Villa ◽  
Nina Yevtushenko ◽  
Robert Brayton ◽  
...  
Keyword(s):  
Automated Synthesis

An Experimental Spatio-Temporal Model Checker

2015 ◽  
pp. 297-311 ◽  
Author(s):  
Vincenzo Ciancia ◽  
Gianluca Grilletti ◽  
Diego Latella ◽  
Michele Loreti ◽  
Mieke Massink
Keyword(s):  
Model Checker ◽  
Temporal Model ◽  
Spatio Temporal

Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates

2015 ◽  
pp. 176-191 ◽  
Author(s):  
Roberto Barbuti ◽  
Alessandro Bompadre ◽  
Pasquale Bove ◽  
Paolo Milazzo ◽  
Giovanni Pardini
Keyword(s):  
Social Interactions ◽  
P Systems

Clustering Formulation Using Constraint Optimization

2015 ◽  
pp. 93-107 ◽  
Author(s):  
Valerio Grossi ◽  
Anna Monreale ◽  
Mirco Nanni ◽  
Dino Pedreschi ◽  
Franco Turini
Keyword(s):  
Constraint Optimization
Load More ...
Sign in / Sign up

Export Citation Format

Share Document