12 search results - page 3 / 3 » asm 1998 |
TODAES
1998
14 years 10 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
112
click to vote
ANSS
1998
IEEE
15 years 2 months ago
1998
IEEE
Simulation, especially discrete event simulation (DES), is used in a variety of disciplines where numerical methods are difficult or impossible to apply. One problem with this met...