FME 2002:Formal Methods—Getting IT Right - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540439288, 9783540456148
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels

2002 ◽  
pp. 607-624 ◽  
Author(s):  
Takaaki Umedu ◽  
Yoshiki Terashima ◽  
Keiichi Yasumoto ◽  
Akio Nakata ◽  
Teruo Higashino ◽  
...  
Keyword(s):  
Mobile Applications ◽  
Wireless Mobile

Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study

2002 ◽  
pp. 57-76 ◽  
Author(s):  
Juan C. Burguillo-Rial ◽  
Manuel J. Fernández-Iglesias ◽  
Francisco J. González-Castaño ◽  
Martín Llamas-Nistal
Keyword(s):  
Test Case ◽  
Formal Specifications ◽  
Test Case Selection ◽  
Case Selection
Load More ...
Sign in / Sign up

Export Citation Format

Share Document