Software & systems engineering
✍ Коллектив авторов
📂 Library
📅 0
🏛 КАИ
🌐 Russian
✦ LIBER ✦
📁
Software & systems engineering
✍ Scribed by Коллектив авторов
- Publisher
- КАИ
- Year
- 0
- Tongue
- Russian
- Leaves
- 29
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Systems and software engineering. Softwa
Software Engineering for Large Software
✍ K. H. Bennett (auth.), B. A. Kitchenham (eds.)
📂 Library
📅 1990
🏛 Springer Netherlands
🌐 English
<p>These proceedings include tutorials and papers presented at the Sixth CSR Confer ence on the topic of Large Software Systems. The aim of the Conference was to identify solutions to the problems of developing and maintaining large software systems, based on approaches which are currently being un
Software and systems engineering
✍ Коллектив авторов
📂 Library
📅 0
🏛 КАИ
🌐 Russian
Dependable software systems engineering
✍ Alexander Pretschner, Doron A Peled, Thomas Hutzelmann
📂 Library
📅 2017
🏛 IOS Press
🌐 English
Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable in the fields of aerospace, automotive and the automation industries, as well as in consumer appliances. Safety, security and reliability ar
Dependable software systems engineering
✍ Esparza, Javier(Editor);Grumberg, Orna(Editor);Sickert, Salomon(Editor)
📂 Library
📅 2016
🏛 Ios Pr Inc; IOS Press
🌐 English
Title Page; Preface; Contents; Probabilistic Model Checking; SMT Solvers: Foundations and Applications; Formal Models for Analyzing Security Protocols: Some Lecture Notes; Parameterized Verification of Crowds of Anonymous Processes; Synthesis of Reactive Systems; Between Testing and Verification: Dy