Browsing by Author "Lumpe, Markus"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar(Institute of electrical and electronics engineers, 2015) Autili, Marco; Grunske, Lars; Lumpe, Markus; Pelliccione, Patrizio; Tang, Antony