Languages, design methods, and tools for electronic system design :  selected contributions from FDL 2018 / 
 FDL 2018 
Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große, editors 
 - 1 online resource 
 - Lecture Notes in Electrical Engineering ;  v.611 .
 - Lecture notes in electrical engineering ;  v. 611 .
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>9783030315856 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)--Congresses<br/>Software engineering--Congresses<br/>Computer software--Verification--Congresses<br/>Software architecture--Congresses<br/>Computer hardware description languages--Congresses