swMATH12302MaRDI QIDQ24231FDOQ24231
Author name not available (Why is that?)
Official website: http://www.irisa.fr/espresso/polychrony/
Cited In (25)
- Formal sequentialization of distributed systems via program rewriting
- Constructive polychronous systems
- Title not available (Why is that?)
- Formal Methods for Components and Objects
- Formal modelling and verification of GALS systems using GRL and CADP
- Design automation of real life asynchronous devices and systems
- A metamodel for the design of polychronous systems
- Compositional design of isochronous systems
- B4Free
- Ptolemy
- Giotto
- LUSTRE
- Quartz
- RAVEN
- LusSy
- GenCCSL
- TimeSquare
- GRL
- Esterel
- AADL
- MARTE
- GME
- A compositional behavioral modeling framework for embedded system design and conformance checking
- A framework for modeling the distributed deployment of synchronous designs
- An algebraic theory for behavioral modeling and protocol synthesis in system design
This page was built for software: Polychrony
