Frédéric Mangano

Learn More
Although gliosis has been reported to be a common and persistent feature in the white matter of hydrocephalic brains, no studies have identified the cell types that characterize this response. Therefore, the present study has employed histochemical methods to evaluate microglial cells in the brains of infant rats with inherited hydrocephalus. This strain of(More)
Formal verification is still rarely applied to the IoT (Internet of Things) software, whereas IoT applications tend to become increasingly popular and critical. This short paper promotes the usage of formal verification to ensure safety and security of software in this domain. We present a successful case study on deductive verification of a memory(More)
  • 1