1001 search results - page 8 / 201 » Testing Formal Dialectic |
FMCO
2004
Springer
14 years 1 months ago
2004
Springer
CONCUR
1999
Springer
13 years 12 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
FM
2001
Springer
14 years 4 days ago
2001
Springer
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
We envisage pervasive computing applications to be predominantly engaged in knowledge-based interactions, where services and information will be found and exchanged based on some ...