Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.
Saved in:
Superior document: | NATO security through science series. D, Information and communication security ; vol. 1 |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 2006 |
Language: | English |
Series: | NATO security through science series. Information and communication security ;
v. 1. |
Online Access: | |
Physical Description: | vii, 235 p. :; ill. |
Notes: | Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
General systems theory : ideas & applications / / Lars Skyttner.
by: Skyttner, Lars.
Published: (c2001.) -
Recent Advances in Theory and Application of Dynamical Systems / / edited by Chunrui Zhang.
Published: (2023.) -
System architecture and complexity : : contribution of systems of systems to systems thinking / / Jacques Printz ; foreword written by Daniel Krob.
by: Printz, Jacques,
Published: ([2020]) - Journal of systems science and systems engineering.
-
Emergent nested systems : : a theory of understanding and influencing complex systems as well as case studies in urban systems / / Christian Walloth.
by: Walloth, Christian,
Published: ([2016])