Cited By
View all- Bruel JEbersold SGalinier FMazzara MNaumchev AMeyer B(2021)The Role of Formalism in System RequirementsACM Computing Surveys10.1145/344897554:5(1-36)Online publication date: 25-May-2021
- Graciano Neto VManzano WAntonino PNakagawa E(2021)Foundations and Research Agenda for Simulation of Smart Ecosystems ArchitecturesSoftware Architecture10.1007/978-3-031-15116-3_15(333-352)Online publication date: 13-Sep-2021
- Liu S(2018)Agile Formal Engineering Method for Software Productivity and ReliabilityProceedings of the 14th Central and Eastern European Software Engineering Conference Russia10.1145/3290621.3290634(1-6)Online publication date: 12-Oct-2018
- Show More Cited By