ISOLA
13 years 11 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...
ICFCA
13 years 11 months ago
2004 Springer  ICFCA
13 years 11 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...
FMCAD
13 years 10 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...
SAS
13 years 11 months ago
2004 Springer  |
Formal Methods