Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language

Author： Voros Nikolaos   Snook Colin   Hallerstede Stefan   Masselos Konstantinos  

Publisher： Springer Publishing Company

ISSN： 0929-5585

Source： Design Automation for Embedded Systems, Vol.9, Iss.2, 2004-06, pp. : 67-99

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

Statistical language modeling with a class-basedn-multigram model

By deligne S.   Sagisaka Y.  

Computer Speech & Language, Vol. 14, Iss. 3, 2000-07 ,pp. : 261-279

Academic Press

Access to resources Recommend Favorite

Calculating the Galois Group of Y′ = = = AY + + + B,Y′ = = = AYCompletely Reducible

By Berman P.  

Journal of Symbolic Computation, Vol. 33, Iss. 6, 2002-06 ,pp. : 887-898

Academic Press

Access to resources Recommend Favorite

A formal approach based on UML and B for the specification and development of database applications

By Mammar Amel  

Automated Software Engineering, Vol. 13, Iss. 4, 2006-10 ,pp. : 497-528

Springer Publishing Company

Access to resources Recommend Favorite

Relevance weighting for combining multi-domain data forn-gram language modeling

By Iyer R.   Ostendorf M.  

Computer Speech & Language, Vol. 13, Iss. 3, 1999-07 ,pp. : 267-282

Academic Press

Access to resources Recommend Favorite

k-TSS language models in speech recognition systems

By Torres I.   Varona A.  

Computer Speech & Language, Vol. 15, Iss. 2, 2001-04 ,pp. : 127-149

Academic Press

Access to resources Recommend Favorite