A simulator of real-time systems specified in et-lotos

par De Jacquier De Rosee, Antony

;Goossens, Joël

;Hernalsteen, Christian

;Massart, Thierry

Référence 1998 Advanced Simulation Technologies Conference(April 5-9 1998: Boston Park Plaza Hotel, Boston, Massachusetts), Proceedings of Applied Telecommunication Symposium, Society for Computer Simulation International, San Diego, page (147-152)
Publication Publié, 1998

Publication dans des actes

Documents en relation

DI-fusion

Parametric solutions of coupled Thermo-Hydro-Mechanical problems in real time with Proper Generalized Decomposition
par Moaven, Arash , Massart, Thierry,Jacques , Zlotnik, Sergio
Publication 2025-04-08
Robust Schedulability Tests for Fixed Job Priorities: Addressing Context Switch Costs with Non-Resumable Delays
par Goossens, Joël , Masson, Damien
Publication 2024-10-09
Monitoring and real time risk analysis of earth dams
par Zlotnik, Sergio , Garcia Gonzalez, Alberto , Díez, Pedro , Massart, Thierry,Jacques
Publication 2025-03-15
Image-based structural kinematic limit analysis for historical masonry structures
par Hermans, Yahroun Fei , Ehab Moustafa Kamel, Karim , Debeir, Olivier , Milani, Gabriele , Massart, Thierry,Jacques
Publication 2025-04-30
Towards automated image-based cohesive zone modeling of cracking in irregular masonry
par Kamel, Karim Ehab Moustafa , Massart, Thierry,Jacques
Publication 2025-01-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.