Gregor Goessler

Programming languages, Operating systems, Parallelism, and Aspects for Real-Time

Adrien Richard, Bertrand Jeannet, Rémi Douence, 2007 .

Project-Team Pop Art Programming and OPerating Systems for Applications in Real-Time

Gregor Goessler, Elodie Toïhein, CR PascalFradet, 2021 .

BIOINFORMATICS Efficient parameter search for qualitative models of regulatory networks using symbolic model checking

Pedro T. Monteiro, H. D. Jong, M. Page, 2010 .

Table of contents

A. Benveniste, B. Caillaud, R. Passerone, 2014, 2014 IEEE Conference on e-Learning, e-Management and e-Services (IC3e).