Search results for: Nikolaos Georgantas
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 364-386
Lecture Notes in Computer Science > Architecting Dependable Systems III > Part 1. Architectures for Dependable Services > 1-35
Lecture Notes in Computer Science > Middleware 2011 > Run-Time (Re)configuration and Inspection > 410-430
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Architecture and Interoperability > 27-52
Lecture Notes in Computer Science > Towards a Service-Based Internet > Service Engineering Fundamentals > 220-229
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Architecture and Interoperability > 1-26
Lecture Notes in Computer Science > Middleware 2009 > Service Component Composition/Adaptation > 123-142
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 206-220
Lecture Notes in Computer Science