1001 search results - page 8 / 201 » Testing Formal Dialectic |
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
CONCUR
1999
Springer
15 years 1 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
15 years 2 months ago
2001
Springer
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
75
Voted
PERCOM
2007
ACM
15 years 9 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 ...