Marjaneh Khoshandam und Bahareh - Info zur Person

(1 - 13 von 13

)

A comparative introduction to CSP and ACT-ONE formal ...ACM Digital Library

dl.acm.org

Mohammad Reza Nami, Bahareh Sheikh-Abbasi, Marjaneh Khoshandam. Faculty of Electrical, Computer, and IT Engineering. Islamic Azad University- Qazvin Branch ... Mohammad Reza Nami, Bahareh Sheikh-Abbasi, Marjaneh Khoshandam. Faculty of Electrical, Computer, and IT Engineering. Islamic Azad University- Qazvin Branch ...

A comparative introduction to CSP and ACT-ONE formal ...DBLP

dblp.uni-trier.de

Mohammad Reza Nami, Bahareh Sheikh-Abbasi, Marjaneh Khoshandam: A comparative introduction to CSP and ACT-ONE formal languages. ACM SIGSOFT Softw. Mohammad Reza Nami, Bahareh Sheikh-Abbasi, Marjaneh Khoshandam: A comparative introduction to CSP and ACT-ONE formal languages. ACM SIGSOFT Softw.

Mohammad Reza NamiDBLP

dblp.org

— Mohammad Reza Nami, Bahareh Sheikh-Abbasi, Marjaneh Khoshandam: A comparative introduction to CSP and ACT-ONE formal languages. ACM SIGSOFT — Mohammad Reza Nami, Bahareh Sheikh-Abbasi, Marjaneh Khoshandam: A comparative introduction to CSP and ACT-ONE formal languages. ACM SIGSOFT ...

dblp: Bahareh Sheikh-Abbasi

dblp.uni-trier.de

List of computer science publications by Bahareh Sheikh-Abbasi

A comparative introduction to CSP and ACT-ONE formal languages -...

researchr.org

Mohammad Reza Nami, Bahareh Sheikh-Abbasi, Marjaneh Khoshandam. A comparative introduction to CSP and ACT-ONE formal languages. ACM SIGSOFT ...

Alle Infos zum Namen "Marjaneh Khoshandam"

A comparative introduction to CSP and ACT-ONE formal ...OA.mg

oa.mg

“A comparative introduction to CSP and ACT-ONE formal languages” is a paper by Mohammad Reza Nami Bahareh Sheikh-Abbasi Marjaneh Khoshandam published in “A comparative introduction to CSP and ACT-ONE formal languages” is a paper by Mohammad Reza Nami Bahareh Sheikh-Abbasi Marjaneh Khoshandam published in

An example of a layered agent architecture. agent systems ...ResearchGate

www.researchgate.net

Software Eng Notes. Mohammad Reza Nami · Bahareh Sheikh-Abbasi · Marjaneh Khoshandam. Formal Methods have changed software engineering ... Software Eng Notes. Mohammad Reza Nami · Bahareh Sheikh-Abbasi · Marjaneh Khoshandam. Formal Methods have changed software engineering ...

Object-Oriented Specification of Databases: An Algebraic ...Semantic Scholar

www.semanticscholar.org

A comparative introduction to CSP and ACT-ONE formal languages · M. R. NamiBahareh Sheikh-AbbasiMarjaneh Khoshandam. Computer Science. SOEN TLDR. This ... A comparative introduction to CSP and ACT-ONE formal languages · M. R. NamiBahareh Sheikh-AbbasiMarjaneh Khoshandam. Computer Science. SOEN TLDR. This ...

Will Concurrency Theory help verifying Multi-Agent Systems?Semantic Scholar

www.semanticscholar.org

NamiBahareh Sheikh-AbbasiMarjaneh Khoshandam. Computer Science. SOEN TLDR. This paper compares ACT-ONE and Communicating Sequential Process from ... NamiBahareh Sheikh-AbbasiMarjaneh Khoshandam. Computer Science. SOEN TLDR. This paper compares ACT-ONE and Communicating Sequential Process from ...

Verwandte Suchanfragen zu Marjaneh Khoshandam

Mohammad Reza

Personen
Vorname "Marjaneh" (11)
Name "Khoshandam" (4)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Marjaneh Khoshandam und Bahareh Person-Info