Models and temporal logical specifications for timed component connectors

By Arbab Farhad   Baier Christel   Boer Frank   Rutten Jan  

Software and Systems Modeling (SoSyM), Vol. 6, Iss. 1, 2007-03 ,pp. : 59-82

Springer Publishing Company

Access to resources Recommend Favorite

The use of contract specifications for representing requirements and for functional testing of hardware models

By Ivannikov V.   Kamkin A.   Kossatchev A.   Kuliamin V.   Petrenko A.  

Programming and Computer Software, Vol. 33, Iss. 5, 2007-09 ,pp. : 272-282

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

The GM models that x(n) be taken as initial value

By Yaoguo Dang   Sifeng Liu   Kejia Chen  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 33, Iss. 2, 2004-02 ,pp. : 247-254

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Analysis and Validation of Learning Technology Models, Standards and Specifications: The Reference Model Analysis Grid (RMAG)

By  

International Journal of IT Standards and Standardization Research (IJITSR), Vol. 8, Iss. 2, 2010-07 ,pp. : 1-19

IGI Global_journal

Access to resources Recommend Favorite

Information and Meaning: Use-Based Models in Arrays of Neural Nets

By Grim Patrick   St. Denis Paul   Kokalis Trina  

Minds and Machines, Vol. 14, Iss. 1, 2004-02 ,pp. : 43-66

Springer Publishing Company

Access to resources Recommend Favorite