Cited By
View all- Le Duff CChasseray YFertier AFalco RAdrot AMontreuil BBenaben F(2024)A Model-Driven Framework to Support Portfolio Management Under UncertaintiesAdvanced Information Systems Engineering10.1007/978-3-031-61057-8_35(596-611)Online publication date: 3-Jun-2024
- Kadakolmath LRamu U(2023)iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking SystemFormal Aspects of Computing10.1145/363306536:1(1-45)Online publication date: 27-Nov-2023
- Micheler SGoh YLohse N(2021)A transformation of human operation approach to inform system design for automationJournal of Intelligent Manufacturing10.1007/s10845-020-01568-z32:1(201-220)Online publication date: 1-Jan-2021
- Show More Cited By