Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 ProceedingsArbab, Farhad ; Talcott, Carolyn Arbab, Farhad ; Talcott, CarolynBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected PapersArbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, MarjanNetherlands: Springer Nature 2012Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected PapersArbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, MarjanNetherlands: Springer Nature 2013Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Synthesizing structural and behavioral control for reconfigurations in component-based systemsKhakpour, Narges ; Arbab, Farhad ; Rutten, EricFormal aspects of computing, 2016-03, Vol.28 (1), p.21-43 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
5 |
Material Type: Livro
|
![]() |
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected PapersArbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter CsabaNetherlands: Springer Nature 2012Texto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Abstract Behavior Types: A Foundation Model for Components and Their CompositionArbab, FarhadFormal Methods for Components and Objects, 2003, p.33-70 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
Will the Real Service Oriented Computing Please Stand Up?Arbab, FarhadFormal Aspects of Component Software, p.277-285 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Coordination Models and LanguagesPapadopoulos, George A. ; Arbab, FarhadAdvances In Computers, 1998, Vol.46, p.329-400 [Periódico revisado por pares]United States: Elsevier Science & TechnologyTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Coordination through Channel CompositionArbab, Farhad ; Mavaddat, FarhadCoordination Models and Languages, 2002, p.22-39 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical SystemsTalcott, Carolyn ; Nigam, Vivek ; Arbab, Farhad ; Kappé, TobiasFormal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016, Vol.9700, p.1-35 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |