Formal Analysis of SystemC Designs in Process Algebra
Hossein Hojjat +2 more
openalex +2 more sources
Modeling and simulation of multiprocessor systems MPSoC by SystemC/TLM2 [PDF]
Abdelhakim Alali +2 more
openalex +1 more source
Motif discovery in hospital ward vital signs observation networks. [PDF]
Ironside-Smith R +4 more
europepmc +1 more source
Comparison of a videolaryngoscope with a 3D-printed angled blade and a direct laryngoscope with a Macintosh blade for rapid sequence tracheal intubation: An observational study. [PDF]
E Silva AJ +3 more
europepmc +1 more source
Statistical Model Checking for SystemC Models
Van Chan Ngo, Axel Legay, Jean Quilbeuf
openalex +1 more source
Camaraderie Among US Veterans and Their Preferences for Health Care Systems and Practitioners.
Vigilante K +7 more
europepmc +1 more source
Clinical prediction models to diagnose neonatal sepsis in low-income and middle-income countries: a scoping review. [PDF]
Neal SR +9 more
europepmc +1 more source
Fetal heart and surroundings: umbilical cord traction triggers sympathetic heart rate surge in fetal lambs in the artificial womb. [PDF]
Castaldi MA +7 more
europepmc +1 more source
Concurrent SystemC TLM-2 simulations = Simulações concorrentes em SystemC TLM-2
Tiago Rezende Campos Falcão
openalex +1 more source

