Вы здесь

Главная

безопасный

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

Ada 2012 Rationale: The Language, the Standard Libraries
Computer Information Systems and Industrial Management: Proc./12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 2013
Digital-Forensics and Watermarking: Revised Selected Papers/12th International Workshop, IWDW 2013, Auckland, New Zealand, October 2013
Implementation and Application of Automata: Proc./20th International Conference, CIAA 2015, Umea, Sweden, August 2015
Program Specific Transition Systems
Reliable Software Technologies - Ada-Europe 2014: Proc./19th Ada-Europe International Conference on RST, Paris, France, June 2014
Research in Attacks, Intrusions, and Defenses: Proc./17th International Symposium, RAID 2014, Gothenburg, Sweden, September 2014
Software Engineering for Resilient Systems: Proc./3rd International Workshop, SERENE 2011, Gevena, Switzerland, September 2011
Testing Software and Systems: Proc./26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 2014
Transactions on Computational Science XXIX
Transactions on Computational Science XXVII
Two-level mixed verification method of C-light programs in terms of safety logic
Web Services - ICWS 2018: Proc./25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle,WA,USA, June 2018
Компаративная трассовая семантика временных сетей Петри
Редукция разверток безопасных временных сетей Петри