Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Jean-Jacques Schwarz
Jean-Jacques Schwarz
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Développement formel de systèmes temps réel à l'aide de SDL et IF ( Compilation pour système temps réel )
Validation temporelle des applications multitâches temps réel basée sur les automates temporisés communicants
Méthodes et outils pour la conception et l'implémentation de systèmes de contrôle pour de grandes expériences de physique