Search Results for protocols.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Transactions on Petri Nets and Other Models of Concurrency X

Yazar

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-48650-4

Format:

Electronic Resources

Alıntı:

Security Protocols for Ad Hoc Networks on Any Topologies -- Symbolic Search of Insider Attack Scenarios

Transactions on Petri Nets and Other Models of Concurrency IX

Yazar

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-45730-6

Format:

Electronic Resources

Alıntı:

concurrency. Application areas covered in this volume are: biological systems, communication protocols

Transactions on Petri Nets and Other Models of Concurrency XIII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-58381-4

Format:

Electronic Resources

Alıntı:

covered in this volume are: fault-tolerance, service composition, databases, communication protocols

Transactions on Petri Nets and Other Models of Concurrency XII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-55862-1

Format:

Electronic Resources

Alıntı:

: security, service composition, databases, communication protocols, business processes, and distributed

Transactions on Petri Nets and Other Models of Concurrency XI

Yazar

Koutny, Maciej. editor.

http://dx.doi.org/10.1007/978-3-662-53401-4

Format:

Electronic Resources

Alıntı:

composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus

Transactions on Petri Nets and Other Models of Concurrency XIV

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-60651-3

Format:

Electronic Resources

Alıntı:

Incremental Verification of the MQTT IoT Protocol -- Kleene Theorems for Free Choice Automata over Distributed

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}