Sort by
Refine Your Search
-
. He/she may also participate in teaching: Dependable Software Engineering, Software Verification and Validation Methods (apprenticeship), and Computer System Dependability (apprenticeship). He/she will
-
be defined at two levels: SAACD Component: This is a UAV made up of hardware and software sub-systems, capable of observing, predicting, deciding and reconfiguring itself to fulfil its mission (e.g
-
at two levels: SAACD Component: This is a UAV made up of hardware and software sub-systems, capable of observing, predicting, deciding and reconfiguring itself to fulfil its mission (e.g. surveillance
-
formalize Smala, an interaction-oriented language developped at ENAC. Smala is, at its core, a reactive language, where bindings written by the programmer specify how outside events are propagated, and how
-
software (Gate v10, https://github.com/OpenGATE ). This will involve accurately modeling the patient from CT and PET images, the clinician, as well as the elements present in the operating room. Once the