Cited By
View all- Niyonkuru DWainer G(2021)A DEVS-based engine for building digital quadrupletsSimulation10.1177/0037549721100313097:7(485-506)Online publication date: 1-Jul-2021
- Guerriero MTamburri DNitto E(2021)StreamGenACM Transactions on Software Engineering and Methodology10.1145/340889530:1(1-30)Online publication date: 20-Jan-2021
- Cleaveland R(2018)Programming Is ModelingLeveraging Applications of Formal Methods, Verification and Validation. Modeling10.1007/978-3-030-03418-4_10(150-161)Online publication date: 5-Nov-2018
- Show More Cited By