Publication | Closed Access
From AADL to Timed Abstract State Machines: A verified model transformation
49
Citations
39
References
2014
Year
Abstract MachineVerified Model TransformationEngineeringAutomated ReasoningVerificationAutomationProcess ControlFormal MethodsSystems EngineeringModel AbstractionComputer ScienceModel CheckingFinite-state SystemTimed SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1