A rewriting-logic-based approach for the formal modeling and analysis of interacting hybrid systems


Muhammad Fadlisyah
Bok Engelsk 2014

Detaljer

Bibliotek som har denne