WWW.DISS.SELUK.RU


(, , , , )

 

 >> 

- һ

072501 ( ).

2013.

2 ( ) ( - ) 072501 ( ).

-:

_

- һ

. ;

:

.., : / (... ) W 1/(... ) _ of < < 3 .



 >> 
:

. . - , ( ) 24.03.2009 . : ? : , ? 1. 1970 , ...

: : 260200.62 6 ...

2002 . , , - . - . ,...

_.. 2011 . () : 080200 : () : : . 2011 . 1. () () ...

- - - Ĩ -...

, 44.03.03 () -, , 2014 ...

5 : . 5 . : .., .., ., , 2009-2012 . : : n-agarkova12@yandex.ru : n-agarkova12 5 : - ; ; ; - ...

_ . . 21.06.2013 -1420-I/. : 1-47 01 01 1 1, 2 54 2 50 1 ...

.. .. 2014 . () ()...

1 2011-2015 , 2010 2 1. , , 2011-2015 , ...

, ( ) - 2010 2010 2 , ( ) : : : - ...

5 (, , , ) .., 5 .., . . 27 . . 5 . . : , 2010. .., 5 . ., . . 27 . 5 . : , 2010. ...

: _ : 080502.65 ( ) ...

. .. .., , , , . , , V-VII ... . ...

- , .. Model checking . . - 2006 1. 1.1. PLTL 1.2. PLTL 1.3. CTL CTL* 1.4. CTL 1.5. PLTL,...

. .. . .. - 28 ...

.. ( ) () 2012 . .. 26 ...

.. 2013 . Ė_ : 1-25 01 08 , ( ) : 1-25 01 08-03 , ( ); : 1-25 01 08-03-03 , ...

2011 - 2015 . 2011 . 1 1. 2015 .. 3 1.1. . 3 1.2. . 5 1.3. . 6...

THE INSTITUTE FOR URBAN ECONOMICS 125009, , . , . 20/1; ./: (495) 363-50-47, 787-45-20 E-mail mailbox@urbaneconomics.ru Internet: http://www.urbaneconomics.ru , , .. , .. , .. 2009 , ...








 
<<     |    
2014 www.av.disus.ru - - , , ,

, .
, , , , 1-2 .