Languages, Design Methods, and Tools for Electronic System De... - 9783319811062
ISBN-13: 9783319811062, 978-3319811062. of the Forum on specification and Design Languages Conference (FDL), which took. ideas in the application of specification, design and verification languages to.