A Supermodel Framework Supporting Validated Upgrading of Reactive Systems

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.10, Iss.2, 2003-04, pp. : 121-155

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Supporting sets for general systems

By Liu Guoyang

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 31, Iss. 2, 2002-03 ,pp. : 246-254

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

An open framework supporting multimedia web services

By Zhang Jia Chung Jen-Yao

Multimedia Tools and Applications, Vol. 30, Iss. 2, 2006-08 ,pp. : 149-164

Springer Publishing Company

Access to resources Recommend Favorite

A Framework for Supporting Tree-Like Indexes on the Chord Overlay

By Zhu Ming-Dong Shen De-Rong Yue Kou Nie Tie-Zheng Yu Ge

Journal of Computer Science and Technology, Vol. 28, Iss. 6, 2013-11 ,pp. : 962-972

Springer Publishing Company

Access to resources Recommend Favorite

Algebraic specification of reactive systems

By Broy M.

Theoretical Computer Science, Vol. 239, Iss. 1, 2000-05 ,pp. : 3-40

Elsevier

Access to resources Recommend Favorite

When IT Slows Down the Pace of Change: Upgrading Business Systems at Braebill Company

Journal of Cases on Information Technology (JCIT), Vol. 11, Iss. 2, 2009-04 ,pp. : 22-41

IGI Global_journal

Access to resources Recommend Favorite