Changes between Version 49 and Version 50 of inspector
- Timestamp:
- 06/01/23 15:50:00 (11 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
inspector
v49 v50 44 44 * AADL reverse engineering 45 45 * AADL instance model graphical editor 46 * Round-trip engineering with [wiki: STOODStood for AADL]46 * Round-trip engineering with [wiki:stood Stood for AADL] 47 47 * Assurance cases online verification 48 48 * Logical AADL Model Processing ([wiki:lamp LAMP]) online prolog engine