A metamodel for the design of polychronous systems-Reference-Cited by-同舟云学术

A metamodel for the design of polychronous systems

Published:2009-04 Issue:4 Volume:78 Page:233-259
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Brunette Christian,Talpin Jean-Pierre,Gamatié Abdoulaye,Gautier Thierry

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference47 articles.

1. Airlines Electronic Engineering Committee, ARINC Specification 653: Avionics Application Software Standard Interface, Aeronautical radio, Inc., Annapolis, Maryland, January 1997.

2. Airlines Electronic Engineering Committee, ARINC Report 651-1: Design Guidance for Integrated Modular Avionics, Aeronautical radio, Inc., Annapolis, Maryland, November 1997.

3. T.P. Amagbegnon, L. Besnard, P. Le Guernic, Arborescent Canonical Form of Boolean Expressions, INRIA, Research Rep. RR-2290, June 1994.

4. C. André, Representation and analysis of reactive behaviors: a synchronous approach, in: Computational Engineering in Systems Applications (CESA), Lille (F): IEEE-SMC, July 1996, pp. 19–29.

5. ATLAS Transformation Language, The Eclipse Consortium, 2008. .

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logic prototyping: approach and use cases;Journal of Physics: Conference Series;2021-12-01

2. On the Semantics of Polychronous Polytimed Specifications;Lecture Notes in Computer Science;2020

3. A Review of Meta-Model Designed for the Model-Based Testing Technique;Engineering International;2017-12-31

4. Executable Logic Prototypes of Systems Engineering Complexes and Processes on Railway Transport;Advances in Intelligent Systems and Computing;2017-09-30

5. Category-Theoretic Approach to Software Systems Design;Journal of Mathematical Sciences;2016-03-31