scientific article; zbMATH DE number 1435981
From MaRDI portal
Publication:4948010
zbMath0942.68054MaRDI QIDQ4948010
Gérald Point, Alain Griffault, Antoine Rauzy, André Arnold
Publication date: 26 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Event algebra for transition systems composition application to timed automata ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Implementing biological hybrid systems: allowing composition and avoiding stiffness ⋮ An architectural approach to the analysis, verification and validation of software intensive embedded systems ⋮ WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model ⋮ A review of applications of fuzzy sets to safety and reliability engineering ⋮ Failure propagation modeling and analysis via system interfaces ⋮ Nivat's processes and their synchronization
This page was built for publication:
