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

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642412011, 9783642412028
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Translation from Workflow Nets to MSVL

2013 ◽  
pp. 281-296
Author(s):  
Ya Shi ◽  
Zhenhua Duan ◽  
Cong Tian
Keyword(s):  
Workflow Nets

The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software

2013 ◽  
pp. 447-463 ◽  
Author(s):  
Giulia Costantini ◽  
Pietro Ferrara ◽  
Giuseppe Maggiore ◽  
Agostino Cortesi
Keyword(s):  
Static Analysis ◽  
Computer Games

Formal Models of SysML Blocks

2013 ◽  
pp. 249-264 ◽  
Author(s):  
Alvaro Miyazawa ◽  
Lucas Lima ◽  
Ana Cavalcanti
Keyword(s):  
Formal Models

scholarly journals Automated Specification Discovery via User-Defined Predicates

2013 ◽  
pp. 397-414 ◽  
Author(s):  
Guanhua He ◽  
Shengchao Qin ◽  
Wei-Ngan Chin ◽  
Florin Craciun

Verifying an Aircraft Proximity Characterization Method in Coq

2013 ◽  
pp. 86-101
Author(s):  
Dongxi Liu ◽  
Neale L. Fulton ◽  
John Zic ◽  
Martin de Groot
Load More ...
Sign in / Sign up

Export Citation Format

Share Document