130
click to vote
ISOLA
15 years 6 months ago
2004 Springer 
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
108
Voted
ICFCA
15 years 6 months ago
2004 Springer  84
Voted
ICFCA
15 years 6 months ago
2004 Springer 
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...
101
click to vote
FMCAD
15 years 4 months ago
2004 Springer 
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
|
Formal Methods