Alkiviadis Paspaliaris

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Topics Covered Include

Formal Verification

Systems Engineering

Web Information Systems

Top Venues

Publications

Rami Baddour, Alkiviadis Paspaliaris, Daniel Solis Herrera
SCV2: A model-based validation and verification approach to system-of-systems engineering. SoSE (2015)