scientific article; zbMATH DE number 1435981

MaRDI QIDQ4948010zbMATH OpenFDO

Authors Gérald Point, Alain Griffault, A. Rauzy, André Arnold

Publication date 26 April 2000

zbMATH Keywords

AltaRica formalism

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 139604
• Formal description of Alvis language with \(\alpha^{0}\) system layer
• A formal definition of hierarchical predicate transition nets

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
• Event algebra for transition systems composition application to timed automata
• Formal description of Alvis language with \(\alpha^{0}\) system layer
• 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)