Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Publication year: 2008
: 978-3-540-68624-8
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
: Computer Science / Computer Communication Networks / Software Engineering / Programming and Operating Systems / Software Engineering / Programming Techniques / Programming Languages, Compilers, Interpreters / Special Purpose and Application-Based Systems / Ada / Ada programming language / UML / XML / concurrency modeling / dependable computing / distributed systems / embedded systems / fault recovery / formal methods / formal verification / metamodeling / metamodeling / real-time / verification
