37 results on '"Cleaveland, R."'
Search Results
2. Outcome and Brain Volume Changes over Time in Children with Autoimmune Encephalitis and MOG Antibodies.
3. MRI Imaging in 10 Children with Enterovirus-Associated Acute Flaccid Myelitis.
4. Acute Disseminated Encephalomyelitis without MOG Antibodies: Clinical Course and Final Diagnosis.
5. Small part ultrasound in childhood and adolescence
6. Corrigendum to “Autoantibody status, neuroradiological and clinical findings in children with acute cerebellitis” [Eur. J. Paediatr. Neurol. 47 (2023) 118–130]
7. Security assurance cases for medical cyber-physical systems
8. Propositional temporal logics and equivalences
9. Interface refinement in reactive systems (extended abstract)
10. Architecture Reconstruction and Analysis of Medical Device Software.
11. Towards Behavioral Reflexion Models.
12. Recovering Views of Inter-System Interaction Behaviors.
13. Validating Automotive Control Software Using Instrumentation-Based Verification.
14. A Software Architectural Approach to Security by Design.
15. Refinement-based requirements modeling using triggered message sequence charts.
16. Automated validation of software models.
17. Distributed prototyping from validated specifications.
18. Efficient model checking via the equational /spl mu/-calculus.
19. An algebraic theory of process efficiency.
20. A theory of testing for real-time.
21. When is 'partial' adequate? A logic-based proof technique using partial specifications.
22. Priorities in process algebras.
23. Efficient on-the-fly model checking for CTL.
24. RTSL: a language for real-time schedulability analysis.
25. Predictability of real-time systems: a process-algebraic approach.
26. A tool for modeling and verifying real-time systems.
27. Fast on-the-fly parametric real-time model checking.
28. Georgia's Nancy Harts.
29. Untitled.
30. Long-term follow-up MR imaging in children with transverse myelitis.
31. Spectrum of Clinical and Imaging Features of Children With GFAP Astrocytopathy.
32. Impaired Brain Growth in Myelin Oligodendrocyte Glycoprotein Antibody-Associated Acute Disseminated Encephalomyelitis.
33. MR imaging in children with transverse myelitis and acquired demyelinating syndromes.
34. Clinical and imaging features of children with autoimmune encephalitis and MOG antibodies.
35. Childhood multiple sclerosis is associated with reduced brain volumes at first clinical presentation and brain growth failure.
36. Formal verification of software-based medical devices considering medical guidelines.
37. Doctor discontent.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.