Cited By
View all- Liu ZTeng JLiu B(2023)Formal Aspects of Component SoftwareFormal Aspects of Component Software10.1007/978-3-031-52183-6_9(168-193)Online publication date: 26-Oct-2023
- (2015)Towards a verified transformation from AADL to the formal component-based language FIACREScience of Computer Programming10.1016/j.scico.2015.03.003106:C(30-53)Online publication date: 1-Aug-2015
- Jard CLime DRoux O(2014)Blending Timed Formal Models with Clock Transition SystemsFundamenta Informaticae10.5555/2595023.2595031129:1-2(85-100)Online publication date: 1-Jan-2014
- Show More Cited By