Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Djamel-Eddine Saïdouni
An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems
International Journal of Systems and Service-Oriented Engineering
Related publications
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stochastic Equivalence for Performance Analysis of Concurrent Systems in dtsiPBC
Siberian Electronic Mathematical Reports
Mathematics
Durra: An Integrated Approach to Software Specification, Modeling and Rapid Prototyping
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Image Analysis, Spreadsheets, and Geographic Information Systems: An Integrated Approach for Fruit and Vegetable Management?
Hortscience: A Publication of the American Society for Hortcultural Science
Horticulture
An Integrated Design Environment for Performance and Dependability Analysis
Productivity Analysis and Functional Specification of Pakistani Textile Industry
An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)
Specification and Proof of Liveness Properties in B Event Systems
