Hansson, Hans

A logic for reasoning about time and reliability

Hansson, H., & Jonsson, B. (1994) · Formal Aspects of Computing

Formal Methods in VerificationLogic, Reasoning, and Knowledge

Cited by 1,372

Applicability of the IEC 62443 standard in Industry 4.0 / IIoT

Leander, B., Čaušević, A., & Hansson, H. (2019) · Proceedings of the 14th International Conference on Availability, Reliability and Security

Digital Transformation in IndustryInformation and Cyber Security

Cited by 82

Safety Argumentation for Machinery Assembly Control Software

Castellanos-Ardila, J. P., Punnekkat, S., Hansson, H., & Backeman, P. (2024) · Lecture Notes in Computer Science

Safety Systems Engineering in AutonomyAdvanced Software Engineering Methodologies

Cited by 2