Rule-based methodologies for the specification and analysis of complex computing systems

Tesis doctoral de Michele Baggi From the earliest hardware and software days to the internet era, complexity of computer systems […]

, , , , ,