Selaus tekijän mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • Reusable formal architectures for networked systems 

      Kamali, Maryam
      TUCS Dissertations : 162 (Turku Centre for Computer Science (TUCS), 13.09.2013)
      Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability ...