Publication
Multilevel Design Understanding: From Specification to Logic Invited Paper
Publications associées (30)
Alessandro Crespi, Laurent Keller
Bruno Lemaitre, Luciano Andres Abriata, Samuel Rommelaere, Kuan-Lin Wu, Han Xiao
Paul Joseph Dyson, Jorge Gustavo Uranga, Martin Hulla, Gabriela Gastelu
Michael Herzog, Oh-Hyeon Choung, Einat Rashal
Anna Fontcuberta i Morral, Elias Zsolt Stutz, Andrea Giunto, Santhanu Panikar Ramanandan, Mirjana Dimitrievska, Iléane Tiphaine Françoise Marie Lefevre
Victor Panaretos, Neda Mohammadi Jouzdani
Cathrin Brisken, Andrea Agnoletto