Search for persons
X
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
5
Semantics Formalisation – From Event-B Contexts to Theories:
, In:
?
Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science ,
6
Formal Language Semantics for Triggered Enable Statecharts ..:
, In:
?
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security ,
12