Changes between Version 43 and Version 44 of inspector


Ignore:
Timestamp:
Nov 18, 2018 1:10:39 PM (4 weeks ago)
Author:
pdissaux
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • inspector

    v43 v44  
    3636  * Automatic elaboration of the instance model  
    3737 * Assurance cases online verification 
    38   * Logical AADL Model Processing (LAMP) online prolog engine 
     38  * Logical AADL Model Processing ([wiki:lamp LAMP]) online prolog engine 
    3939  * Predefined libraries to access AADL model entities 
    4040  * LAMP Annexes in AADL packages (verification rules)