Search alternatives:
security program » security programs, security problems
simulation code » simulation codes, simulation mode, simulation model
state security » water security, data security, private security
code state » mode state, code status
security program » security programs, security problems
simulation code » simulation codes, simulation mode, simulation model
state security » water security, data security, private security
code state » mode state, code status
1
2
3
by Setola, Roberto.
Published 2017
Format:
Published 2017
Table of Contents: “... Modelling -- 6 Ongoing Efforts -- 6.1 H2020 Work Program View on CPS Aspects -- 6.2 Security Standards...”
Click to View
4
5
by Marwedel, Peter.
Published 2021
Format:
Published 2021
Table of Contents: “....3.3 Differential Equations -- 2.4 Communicating Finite State Machines (CFSMs) -- 2.4.1 Timed Automata -- 2...”
Click to View
6
by Chen, Jian-Jia.
Published 2020
Format:
Published 2020
Table of Contents: “... and Security -- 3.6 Conclusion -- References -- 4 On the Formalism and Properties of Timing Analyses in Real...”
Click to View
7
by Groote, Jan Friso.
Published 2021
Format:
Published 2021
Table of Contents: “... Phase: Whole Program Analysis -- 4 Second Phase: Static Analysis with Daisy and CBMC -- 5 State...”
Click to View