Вы здесь

Главная

safety-critical system

Связанные издания:

Ada 2012 Rationale: The Language, the Standard Libraries
Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012(E)
Dynamic Data Driven Application Systems: Proc./3rd International Conference, DDDAS 2020, Boston,MA,USA, October 2020
Engineering Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017
Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018
Engineering Trustworthy Software Systems: Tutorial Lectures/5th International School, SETSS 2019, Chongqing, China, April 2019
FM 2011: Formal Methods: Proc./17th International Symposium on Formak Methods, Limerick, Ireland, June 2011
Formal Modeling and Analysis of Timed Systems: Proc./12th International Conference, FORMATS 2014, Florence, Italy, September 2014
Hardware and Software: Verification and Testing: Revised Selected Papers/8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 2012
Reliable Software Technologies - Ada-Europe 2011: Proc./16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 2011
Reliable Software Technologies - Ada-Europe 2017: Proc./22nd Ada-Europe International Conference on RST, Vienna, Austria, June 2017
Requirements Engineering: Foundations for Software Quality: Proc./18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012