Artykuły udostępnione publicznie: - Dag NyströmWięcej informacji
Dostępne w jakimś miejscu: 5
Statistical model checking for real-time database management systems: a case study
S Cai, B Gallina, D Nyström, C Seceleanu
2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019
Upoważnienia: Swedish Research Council
Specification and formal verification of atomic concurrent real-time transactions
S Cai, B Gallina, D Nyström, C Seceleanu
2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing …, 2018
Upoważnienia: Swedish Research Council
Effective test suite design for detecting concurrency control faults in distributed transaction systems
S Cai, B Gallina, D Nyström, C Seceleanu
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
Upoważnienia: Swedish Research Council
Specification and automated verification of atomic concurrent real-time transactions
S Cai, B Gallina, D Nyström, C Seceleanu
Software and Systems Modeling 20, 557-589, 2021
Upoważnienia: Swedish Research Council
Specification and verification of transaction atomicity, isolation and temporal correctness
S Cai, B Gallina, D Nyström, C Seceleanu
Tech. Rep., June 2018.[Online]. Available: http://www. es. mdh. se …, 2018
Upoważnienia: Swedish Research Council
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy