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

The Next 700 Synthesis Calculi

2002 ◽  
pp. 430-430 ◽  
Author(s):  
David Basin

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

scholarly journals Mechanical Abstraction of CSPZ Processes

2002 ◽  
pp. 163-183 ◽  
Author(s):  
Alexandre Mota ◽  
Paulo Borba ◽  
Augusto Sampaio

scholarly journals VAlloy — Virtual Functions Meet a Relational Language

2002 ◽  
pp. 234-251 ◽  
Author(s):  
Darko Marinov ◽  
Sarfraz Khurshid

Do Not Read This

2002 ◽  
pp. 106-125 ◽  
Author(s):  
Juan C. Bicarregui

Little Engines of Proof

2002 ◽  
pp. 1-20 ◽  
Author(s):  
Natarajan Shankar

scholarly journals Semantic Web for Extending and Linking Formalisms

2002 ◽  
pp. 587-606 ◽  
Author(s):  
Jin Song Dong ◽  
Jing Sun ◽  
Hai Wang
Keyword(s):  
Semantic Web
Load More ...
Sign in / Sign up

Export Citation Format

Share Document