Home ›
Entities
› academia
› Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin
Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin
Research article (Sensors, 2024) · cited 12× · AI/ML
Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin
Summary
Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin is a scholarly article[1].
Key Facts
Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin's instance of is recorded as scholarly article[2].
References
Programmatic citations — every numbered marker resolves to a verifiable graph row below.
Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.
APA4ort.xyz Knowledge Graph. (2026). Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin. Retrieved May 24, 2026, from https://4ort.xyz/entity/process-algebraic-approach-for-probabilistic-verification-of-safety-and-security-requirements-of-smart-iot-internet-of-t
MLA“Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin.” 4ort.xyz Knowledge Graph, 4ort.xyz, 24 May. 2026, https://4ort.xyz/entity/process-algebraic-approach-for-probabilistic-verification-of-safety-and-security-requirements-of-smart-iot-internet-of-t.
BibTeX@misc{4ortxyz_process-algebraic-approach-for-probabilistic-verification-of-safety-and-security-requirements-of-smart-iot-internet-of-t_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin}}, year = {2026}, url = {https://4ort.xyz/entity/process-algebraic-approach-for-probabilistic-verification-of-safety-and-security-requirements-of-smart-iot-internet-of-t}, note = {Accessed: 2026-05-24}}
LLM promptAccording to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin — https://4ort.xyz/entity/process-algebraic-approach-for-probabilistic-verification-of-safety-and-security-requirements-of-smart-iot-internet-of-t (retrieved 2026-05-24)
