ISOLA
14 years 3 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
14 years 3 months ago
2004 Springer ICFCA
14 years 3 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
14 years 1 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
14 years 3 months ago
2004 Springer |