https://www.preprints.org/manuscript/202403.1611
The digital transformation of critical infrastructures, such as energy or water distribution systems, is essential for their smart management. Faster issue...
formal modeldata acquisitionreliablecontrol
https://deepai.org/publication/a-formal-tls-handshake-model-in-lnt
03/27/18 - Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected o...
tls handshakeformalmodellntdeepai
https://www.nist.gov/publications/toward-formal-common-information-model-ontology
We examine the performance of multimodal biometric authentication systems using state-of-the-art Commercial Off-the-Shelf (COTS) fingerprint and face biometric
common information modeltowardformalontologynist
https://www.mdpi.com/1996-1073/15/3/1013
VANETs have gained much attention from both industry and academia because of their characteristics, such as dynamic topology.
formal modelefficientiotbasedvehicle
https://zenodo.org/records/3975006
The archive contains a model of Kubernetes in Real Time ABS (Abstract Behavioural Specification) language that can be configured to different client workloads...
formal modelkubernetescontainerframework