Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
LIFC
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
Syntactic Abstraction of B Models to Generate Tests
No associations
LandOfFree
Jacques Julliand does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jacques Julliand, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jacques Julliand will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-382042