Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Niusha Hakimi Pour"'
Publikováno v:
Concurrency and Computation: Practice and Experience. 23:1583-1606
Many real-time systems are safety-and security-critical systems and, as a result, tools and techniques for verifying them are extremely important. Simulation and testing such systems can be exceedingly time-consuming and these techniques provide only