2018

Automated validation & verification of UML/OCL models using satisfiability solvers

Przigoda, Nils, author

Cham : Springer, [2018]

 

2016

Automatic methods for the refinement of system models : from the specification to the implementation

Seiter, Julia, author

Switzerland : Springer, [2016]

 

2022

Design automation for field-coupled nanotechnologies

Walter, Marcel, author

Cham : Springer International Publishing : Imprint : Springer, 2022

 

2020

Designing droplet microfluidic networks : a toolbox for designers

Grimmer, Andreas, author

Cham : Springer, 2020

 

2024

Efficient implementation of quantum circuit simulation with decision diagrams

Hillmich, Stefan, author

Cham, Switzerland : Springer, [2024]

 

2019

Exact design of digital microfluidic biochips

Keszocze, Oliver, author

Cham, Switzerland : Springer, 2019

 

2021

High performance simulation for industrial paint shop applications

Verma, Kevin, author

Cham, Switzerland : Springer, [2021]

 

2020

Introducing design automation for quantum computing

Zulehner, Alwin.



 

2016

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015

FDL (Conference) (2015 : Barcelona, Spain)

Switzerland : Springer, 2016

 

2018

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2016

FDL (Conference) (2016 : Bremen, Germany)