Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zoubeyr Farah
A Correct-By-Construction Model for Asynchronously Communicating Systems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
Asynchronously Communicating Visibly Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compatibility Checking for Asynchronously Communicating Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing Interactions of Asynchronously Communicating Software Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Model of Plant Virus Disease Epidemics in Asynchronously-Planted Cropping Systems
Plant Pathology
Horticulture
Plant Science
Agronomy
Crop Science
Genetics
Communicating Shared Resources: A Model for Distributed Real-Time Systems
ARC: A Specification Language for Communicating Systems
Computer Journal
Computer Science
An Iterative Abstraction Algorithm for Reactive Correct-By-Construction Controller Synthesis
On the Construction of Correct Mathematical Model of Chemical Kinetics
Vestnik Udmurtskogo Universiteta: Matematika, Mekhanika, Komp'yuternye Nauki
Transfer Processes
Mathematics
Fluid Flow
Computer Science
A Systems Model of a Construction Firm
