Languages, design methods, and tools for electronic system design selected contributions from FDL 2015 - FDL (Conference) Paris, France) (2015; Drechsler, Rolf; Wille, Robert; SpringerLink (Online service). (Cham Springer, 2016)
Electronic reproduction.
Keywords: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer software -- Verification -- Congresses; Software architecture -- Congresses; Computer hardware description languages -- Congresses; Electronic books