![Fotografía de autor](https://pics.cdn.librarything.com//picsizes/82/5d/825dc294c46be8765494c7441514330414c5141_v5.jpg)
Rolf Drechsler
Autor de Advanced Formal Verification
Obras de Rolf Drechsler
Evolutionary Algorithms for Embedded System Design (Genetic Algorithms and Evolutionary Computation) (2002) 3 copias
Formal modeling and verification of cyber-physical systems : 1st International Summer School on Methods and Tools for… (2015) 3 copias
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 (2016) 2 copias
Etiquetado
Conocimiento común
Todavía no hay datos sobre este autor en el Conocimiento Común. Puedes ayudar.
Miembros
Reseñas
Estadísticas
- Obras
- 14
- Miembros
- 53
- Popularidad
- #303,173
- Valoración
- 5.0
- Reseñas
- 1
- ISBNs
- 34
- Idiomas
- 1