Polychrony
From MaRDI portal
Cited in
(28)- A metamodel for the design of polychronous systems
- SynDEx
- SIGNAL
- POLIS
- B4Free
- Ptolemy
- LUSTRE
- Giotto
- Quartz
- RAVEN
- A framework for modeling the distributed deployment of synchronous designs
- An algebraic theory for behavioral modeling and protocol synthesis in system design
- A compositional behavioral modeling framework for embedded system design and conformance checking
- LusSy
- TimeSquare
- GenCCSL
- Design automation of real life asynchronous devices and systems
- Formal sequentialization of distributed systems via program rewriting
- GRL
- Formal modelling and verification of GALS systems using GRL and CADP
- Esterel
- AADL
- MARTE
- Constructive polychronous systems
- GME
- Compositional design of isochronous systems
- scientific article; zbMATH DE number 2112983 (Why is no real title available?)
- Formal Methods for Components and Objects
This page was built for software: Polychrony
