alexander romanovsky
Reliable Software Technologies - Ada-Europe 2011
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on...
Industrial Deployment of System Engineering Methods
EbookSofort lieferbarA formal method is not the main engine of a development process, its contribution is to improve s...
Trustworthy Cyber-Physical Systems Engineering
EbookSofort lieferbarTrust-Worthy Cyber Physical Systems Engineering provides practitioners and researchers with a com...
Trustworthy Cyber-Physical Systems Engineering
EbookSofort lieferbarTrust-Worthy Cyber Physical Systems Engineering provides practitioners and researchers with a com...
Computer Safety, Reliability, and Security
EbookSofort lieferbarThis book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38...
Computer Safety, Reliability, and Security
EbookSofort lieferbarThis book constitutes the proceedings of the 38th International Conference on Computer Safety, Re...
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Third International Conference on Reliabili...
Scientific Engineering of Distributed Java Applications
EbookSofort lieferbarFIDJI 2004 was an international forum for researchers and practitioners int- estedinthe advancesi...
Advanced Topics in Exception Handling Techniques
EbookSofort lieferbarThis book - inspired by two ECOOP workshops on exception handling - is composed of five parts; th...
Rigorous Development of Complex Fault-Tolerant Systems
EbookSofort lieferbarThis book brings together 19 papers focusing on the application of rigorous design techniques to ...
Software Engineering for Multi-Agent Systems V
EbookSofort lieferbarThe papers selected for this volume present advances in software engineering approaches to develo...
Software Engineering for Resilient Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 5th International Workshop on Software Engi...