A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking

Author： Talpin Jean-Pierre Guernic Paul Shukla Sandeep Gupta Rajesh

ISSN： 0885-7458

Source： International Journal of Parallel Programming, Vol.33, Iss.6, 2005-12, pp. : 613-643

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

An algebraic theory for behavioral modeling and protocol synthesis in system design

By Talpin Jean-Pierre Guernic Paul

Formal Methods in System Design, Vol. 28, Iss. 2, 2006-03 ,pp. : 131-151

Springer Publishing Company

Access to resources Recommend Favorite

Conformance Analysis of Organizational Models: A New Enterprise Modeling Framework using Algebraic Graph Transformation

International Journal of Information System Modeling and Design (IJISMD), Vol. 4, Iss. 1, 2013-01 ,pp. : 42-78

IGI Global_journal

Access to resources Recommend Favorite

Verification Approach of Metropolis Design Framework for Embedded Systems

By Chen Xi Hsieh Harry Balarin Felice

International Journal of Parallel Programming, Vol. 34, Iss. 1, 2006-03 ,pp. : 3-27

Springer Publishing Company

Access to resources Recommend Favorite

Assuring property conformance of code generators via model checking

By Jörges Sven

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 589-606

Springer Publishing Company

Access to resources Recommend Favorite

Replaying history on process models for conformance checking and performance analysis

WILEY INTERDISCIPLINARY REVIEWS: DATA MINING AND KNOWLEDGE DISCOVERY (ELECTRONIC), Vol. 2, Iss. 2, 2012-03 ,pp. : 182-192

John Wiley & Sons Inc

Access to resources Recommend Favorite