共 50 条
- [22] AltaRica 3.0 project: Compile Guarded Transition Systems into Fault Trees SAFETY, RELIABILITY AND RISK ANALYSIS: BEYOND THE HORIZON, 2014, : 1121 - 1128
- [23] From Featured Transition Systems to Modal Transition Systems with Variability Constraints SOFTWARE ENGINEERING AND FORMAL METHODS, 2015, 9276 : 344 - 359
- [26] Beyond the Classical Modal Transition Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (87): : 1 - 4
- [27] Modal transition systems with weight intervals JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (04): : 408 - 421