1982 | OriginalPaper | Buchkapitel
Galileo: A Methodology for Modelling and Designing Real Time Systems
verfasst von : F. Vidondo, I. López
Erschienen in: Application and Theory of Petri Nets
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The identification, ambiguity, relativity, and recursivity of the concepts related to Real Time Systems and Software, in particular, have created a problem in the understanding and designing of these systems. Other problems have complicated this situation even more. But instead of evaluating these problems, we are going to present an overview of our solution, obtained during the course of the Galileo project, (l).