Material categorías: Desarrollo de Software Redes digitales
ScienceDirect Publication: Science of Computer Programming ScienceDirect RSS
- Model independent refusal trace testingel julio 26, 2024 a las 7:05 pm
Publication date: January 2025Source: Science of Computer Programming, Volume 239Author(s): Maciej Gazda, Robert M. Hierons
- Smart contract vulnerability detection using wide and deep neural networkel julio 26, 2024 a las 7:05 pm
Publication date: December 2024Source: Science of Computer Programming, Volume 238Author(s): Samuel Banning Osei, Zhongchen Ma, Rubing Huang
- Encoding TLA+ Proof Obligations Safely for SMTel julio 26, 2024 a las 7:05 pm
Publication date: Available online 23 July 2024Source: Science of Computer ProgrammingAuthor(s): Rosalie Defourné
- Hybrid Dynamical Systems Logic and Its Refinementsel julio 26, 2024 a las 7:05 pm
Publication date: Available online 25 July 2024Source: Science of Computer ProgrammingAuthor(s): André Platzer
- Taming shared mutable states of operating systems in Rustel julio 26, 2024 a las 7:05 pm
Publication date: December 2024Source: Science of Computer Programming, Volume 238Author(s): Jaemin Hong, Sunghwan Shim, Sanguk Park, Tae Woo Kim, Jungwoo Kim, Junsoo Lee, Sukyoung Ryu, Jeehoon Kang
Science of Computer Programming