William E. Scott III

According to our database¹, William E. Scott III authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

SmartAudits: Applying Timebands to a Medical Device.

[BibT_eX]

[DOI]

Proceedings of the Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I, 2024

2022

Digital Twins for Organ Preservation Devices.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2020

Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020