( en | de | ru )

 

Disambiguation of "Bordbar, Behzad"

Author of the publication

copydeleteadd this publication to your clipboard
A Logical Approach for Behavioural Composition of Scenario-Based Models.

, , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 252-269. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Behzad Abrar

Behzad Nashat

Behzad Alafzadeh

Faramarz Behzad

Behzad Karami

 

Other publications of authors with the same name

On automated generation of Diagnosers in Fault tolerant Service oriented Architectures., , and . J. Digit. Inf. Manag., 7 (6): 336-342 (2009)On challenges of model transformation from UML to Alloy, , , and . Software and Systems Modeling, (2009)An Off-line Analytical Approach to Identify Suitable Management Policies for Autonomic Cloud Architecture., and . CLOSER (2), page 232-239. SciTePress, (2016)978-989-758-182-3.Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton., , and . ICNC, page 235-241. IEEE Computer Society, (2011)A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures., and . ECOWS, page 129-138. IEEE Computer Society, (2009)Model-Driven Quality of Service for Web Services: An Aspect-Oriented Approach., and . ICWS, page 748-751. IEEE Computer Society, (2008)File Management in a Mobile DHT-based P2P Environment., , and . AINA, page 415-422. IEEE Computer Society, (2012)On challenges of model transformation from UML to Alloy, , , and . Software and Systems Modeling, (2009)A Framework for the Analysis of Process Mining Algorithms., , and . IEEE Trans. Syst. Man Cybern. Syst., 43 (2): 303-317 (2013)Introspecting for RSA Key Material to Assist Intrusion Detection., , and . IEEE Cloud Comput., 2 (5): 30-38 (2015)