Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
University of Camerino
School of Science and Technology University of Camerino
Scuola di Scienze e Tecnologie, Sezione Informatica. Università di Camerino
A Framework for the Evaluation of Worst-Case System Efficiency
Automated Analysis of MUTEX Algorithms with FASE
Evaluating the Efficiency of Asynchronous Systems with FASE
Read Operators and their Expressiveness in Process Algebras
Shape Calculus: Timed Operational Semantics and Well-formedness
No associations
LandOfFree
Maria Rita Di Berardini does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Maria Rita Di Berardini, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Maria Rita Di Berardini will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-56485