1001 search results - page 8 / 201 » Testing Formal Dialectic |
101
Voted
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
104
Voted
CONCUR
1999
Springer
15 years 7 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...
97
Voted
FM
2001
Springer
15 years 7 months ago
2001
Springer
101
Voted
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
124
Voted
PERCOM
2007
ACM
16 years 2 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 ...