scientific article; zbMATH DE number 1435981
From MaRDI portal
Publication:4948010
zbMATH Open0942.68054MaRDI QIDQ4948010FDOQ4948010
Authors: Gérald Point, Alain Griffault, A. Rauzy, André Arnold 
Publication date: 26 April 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (10)
- Nivat's processes and their synchronization
- Failure propagation modeling and analysis via system interfaces
- Equivalence checking 40 years after: a review of bisimulation tools
- Formal description of Alvis language with \(\alpha^{0}\) system layer
- Event algebra for transition systems composition application to timed automata
- A review of applications of fuzzy sets to safety and reliability engineering
- An architectural approach to the analysis, verification and validation of software intensive embedded systems
- Implementing biological hybrid systems: allowing composition and avoiding stiffness
- An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4948010)
