Login
中文
Joseph Sifakis
HIndex: 33
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Hybrid system
Operating system
Model checking
Computer hardware
Computer Science
Semantics
Computational model
Composition operator
Petri net
Modeling and simulation
Formal verification
Theory of computation
Formal specification
Object-oriented programming
Logic
Model of computation
Application software
Scheduling
Embedded system
Real-time computing
Formal methods
Distributed computing
Embedded software
Mathematical model
Haplogroup N
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Hybrid system
Operating system
Model checking
Computer hardware
Computer Science
Semantics
Computational model
Composition operator
Petri net
Modeling and simulation
Formal verification
Theory of computation
Formal specification
Object-oriented programming
Logic
Model of computation
Application software
Scheduling
Embedded system
Real-time computing
Formal methods
Distributed computing
Embedded software
Mathematical model
Haplogroup N
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Joseph Sifakis
Ecole Polytechnique Federale De Lausanne
245
Joseph Sifakis
Ecole Nationale Superieure D Informatique Et De Mathematiques Appliquees De Grenoble
8
×
Share to your followers
Submit