Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Scott A. Summers"'
Publikováno v:
IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews). 35:445-450
Model checking is a promising technique for the verification of complex software systems. As the use of the Internet for conducting e-business extends the reach of many organizations, well-designed software becomes the foundation of reliable implemen