Towards model-driven engineering of reliable systems : developing fault-tolerant systems using scalable verification


Vidar Slåtten
Bok Engelsk 2014

Detaljer

Bibliotek som har denne