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

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642103728, 9783642103735
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The VSE Refinement Method in Hets

2009 ◽  
pp. 660-678
Author(s):  
Mihai Codescu ◽  
Bruno Langenstein ◽  
Christian Maeder ◽  
Till Mossakowski
Keyword(s):  
Refinement Method

Implementing a Direct Method for Certificate Translation

2009 ◽  
pp. 541-560 ◽  
Author(s):  
Gilles Barthe ◽  
Benjamin Grégoire ◽  
Sylvain Heraud ◽  
César Kunz ◽  
Anne Pacalet
Keyword(s):  
Direct Method ◽  
A Direct Method

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform

2009 ◽  
pp. 367-386 ◽  
Author(s):  
Frank S. de Boer ◽  
Immo Grabe ◽  
Mohammad Mahdi Jaghoori ◽  
Andries Stam ◽  
Wang Yi
Keyword(s):  
Modeling And Analysis ◽  
Communication Platform

scholarly journals Event Listener Analysis and Symbolic Execution for Testing GUI Applications

2009 ◽  
pp. 69-87 ◽  
Author(s):  
Svetoslav Ganov ◽  
Chip Killmar ◽  
Sarfraz Khurshid ◽  
Dewayne E. Perry
Keyword(s):  
Symbolic Execution

Modeling and Verification of Privacy Enhancing Protocols

2009 ◽  
pp. 127-146 ◽  
Author(s):  
Suriadi Suriadi ◽  
Chun Ouyang ◽  
Jason Smith ◽  
Ernest Foo
Load More ...
Sign in / Sign up

Export Citation Format

Share Document