Cited By
View all- Kamburjan EScaletta MRollshausen N(2023)Deductive verification of active objects with Crowbar▪Science of Computer Programming10.1016/j.scico.2023.102928226:COnline publication date: 1-Mar-2023
- Turin GBorgarelli ADonetti SDamiani FJohnsen ETapia Tarifa S(2023)Predicting resource consumption of Kubernetes container systems using resource modelsJournal of Systems and Software10.1016/j.jss.2023.111750203:COnline publication date: 13-Jul-2023
- Schlatte RBroch Johnsen EKamburjan ETapia Tarifa S(2022)The ABS simulator toolchainScience of Computer Programming10.1016/j.scico.2022.102861223:COnline publication date: 1-Nov-2022
- Show More Cited By