Oleg Sokolsky Editor

Dependable Software Engineering. Theories, Tools, and Applications

3 contributors - Paperback

£44.99

Automated Technology for Verification and Analysis

2 contributors - Paperback

£44.99

From Reactive Systems to Cyber-Physical Systems

4 contributors - Paperback

£44.99