Works matching IS 16737288 AND DT 2024 AND VI 14 AND IP 4
Results: 6
Safety Analysis for Mixed-criticality System with Random Errors and Burst Errors Based on AADL.
- Published in:
- International Journal of Software & Informatics, 2024, v. 14, n. 4, p. 449, doi. 10.21655/ijsi.1673-7288.00341
- By:
- Publication type:
- Article
Program Derivation and Mechanized Verification of Imperative Dynamic Programming Algorithms.
- Published in:
- International Journal of Software & Informatics, 2024, v. 14, n. 4, p. 419, doi. 10.21655/ijsi.1673-7288.00340
- By:
- Publication type:
- Article
Formal Verification of Functional Correctness for Mutexes in Microkernel.
- Published in:
- International Journal of Software & Informatics, 2024, v. 14, n. 4, p. 399, doi. 10.21655/ijsi.1673-7288.00339
- By:
- Publication type:
- Article
Strong Linearizability Checking and Determination for Concurrent Objects.
- Published in:
- International Journal of Software & Informatics, 2024, v. 14, n. 4, p. 375, doi. 10.21655/ijsi.1673-7288.00338
- By:
- Publication type:
- Article
Analysis of Real-time Embedded Multi-core Systems Based on Prioritized Time Petri Nets.
- Published in:
- International Journal of Software & Informatics, 2024, v. 14, n. 4, p. 353, doi. 10.21655/ijsi.1673-7288.00337
- By:
- Publication type:
- Article
Preface to the Special Issue on Formal Methods and Applications.
- Published in:
- International Journal of Software & Informatics, 2024, v. 14, n. 4, p. 349, doi. 10.21655/ijsi.1673-7288.00336
- By:
- Publication type:
- Article