Search for dissertations about: "Stefania Gnesi"
Found 1 swedish dissertation containing the words Stefania Gnesi.
-
1. Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models
Abstract : Since the first lines of code were introduced in the automotive domain, vehicles have transitioned from being predominantly mechanical systems to software intensive systems. With the ever-increasing computational power and memory of vehicular embedded systems, a set of new, more powerful and more complex software functions are installed into vehicles to realize core functionalities. READ MORE
Result pages:
1