Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Victor A. Carreño"'
Publikováno v:
Formal Aspects of Component Software ISBN: 9783031208713
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0dc8d2f35d26ff165f3a9327af378cc
https://doi.org/10.1007/978-3-031-20872-0_4
https://doi.org/10.1007/978-3-031-20872-0_4
Autor:
Victor A. Carreño
A modelling and specification method for real-time, reactive systems is described. Modelling is performed by constructing time dependent relations of the system parameters. A textual formal notation using higher order logic and a graphical notation a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::30cdc6e334d799c04ebc0c29199d9084
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.