Sémantique formelle du langage PsyC

Autor: Siron, Fabien, Potop-Butucaru, Dumitru, de Simone, Robert, Chabrol, Damien, Methni, Amira

Publikováno v: RR-9506, Inria-Sophia Antipolis. 2023, pp.32

Time must be taken into account from the very start of the design of real-time systems. Because exact computation durations are usually not available in early design phase, multiple formalisms based on the concept of Multiform Logical Time have been

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::1f41c96174d5a1e9e51ecfac9d79f671
https://inria.hal.science/hal-04088177/document

Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress

Autor: Robert de Simone, Xiaohong Chen, Jing Liu, Qian Liu

Publikováno v: EMSOFT 2020-International Conference on Embedded Software
EMSOFT 2020-International Conference on Embedded Software, Sep 2020, Hamburg / Virtual, Germany
EMSOFT

International audience; Due to the mobility of autonomous vehicles and changing context through time, the constraints in safe driving rules specification need to be irregularly updated for monitoring the trajectory plan. This is not assumed in the Sp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::802e0dce8e5ff876909709ca9b24b23a
https://hal.inria.fr/hal-02952912

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.