Juri Vain – författare
Visar alla böcker från författaren Juri Vain. Handla med fri frakt och snabb leverans.
6 produkter
System Assurances
Modeling and Management
Av Prashant Johri, Adarsh Anand m. fl.
Häftad, 2022
1290 kr
Lägg i varukorg
System Assurances: Modeling and Management updates on system assurance and performance methods using advanced analytics and understanding of software reliability growth modeling from today's debugging team's point-of-view, along with information on preventive and predictive maintenance and the …
System Assurances
Modeling and Management
Av Mohammad Tabrez Quasim, Jagvinder Singh m. fl.
E-bok, 2022
1833 kr
Lägg i varukorg
System Assurances: Modeling and Management updates on system assurance and performance methods using advanced analytics and understanding of software reliability growth modeling from today''s debugging team''s point-of-view, along with information on preventive and predictive maintenance and the …
Advances in Model and Data Engineering in the Digitalization Era
MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings
Av Ladjel Bellatreche, George Chernishev m. fl.
Häftad, 2021
906 kr
Lägg i varukorg
This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; …
Advances in Model and Data Engineering in the Digitalization Era
MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings
Av Juri Vain, Samir Ouchani m. fl.
E-bok, 2021
1175 kr
Lägg i varukorg
This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; …
Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Häftad, 2007
569 kr
Lägg i varukorg
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for …
Formal Techniques for Networked and Distributed Systems - FORTE 2007
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
E-bok, 2007
739 kr
Lägg i varukorg
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for …
