проверка состояния

Проверка состояния пунктов медицинского обслуживания в пяти миссиях.

5 on-site re-assessments of mission medical facilities

© United Nations 2010

http://www.un.org/ 03.10.2010

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 03.10.2010

Рассмотрим пример проверки с учетом состояния.

You might want to add stateful inspection to an existing rule.

Смит, Родерик В. / Сетевые средства LinuxSmith, Roderick W. / Advanced Linux Networking

Advanced Linux Networking

Smith, Roderick W.

© 2002 by Pearson Education, Inc.

Сетевые средства Linux

Смит, Родерик В.

© Издательский дом "Вильямс", 2003

© 2002 by Pearson Education, Inc.

Верификация модели представляет собой метод анализа пространства состояния системы для проверки некоторых свойств, обычно называемых «утверждениями».

Model checking is a technique that explores the state space of a system to ensure that certain properties, typically specified as “assertions,” are true.

Максфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойцаMaxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and Flows

The design warrior's guide to FPGAs: Devices, Tools and Flows

Maxfield, Clive

© 2004, Mentor Graphics Corporation and Xilinx, Inc.

Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца

Максфилд, Клайв

© Издательский дом «Додэка-XXI», 2007

Это составляет серьезную проблему для банковского обслуживания МСП, поскольку, в отличие от крупных корпораций, МСП часто не в состоянии представить поддающуюся проверке финансовую информацию.

It is an important concern in SME banking because unlike larger corporations, SMEs often cannot provide verifiable financial information.

© 2010 IFC

© 2009 International Finance Corporation (IFC)

http://www.ifc.org 07.12.2010

© 2010 IFC

© Международная финансовая корпорация, 2009

http://www.ifc.org 07.12.2010