Electronic Notes in Theoretical Computer Science, Volume 295
Volume 295, May 2013
- Samuel Kounev, Christoph Rathfelder, Benjamin Klatt: Modeling of Event-based Communication in Component-based Architectures: State-of-the-Art and Future Directions. 3-9
- Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab: From Timed Reo Networks to Networks of Timed Automata. 11-29
- Samir Chouali, Ahmed Hammad, Hassan Mountassir: Assembling Components using SysML with Non-Functional Requirements. 31-47
- Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius: Incorporating Formal Techniques into Industrial Practice: an Experience Report. 49-63
- Christian Prehofer: Behavioral Refinement and Compatibility of Statechart Extensions. 65-78
- Fazle Rabbi, Hao Wang, Wendy MacCaull, Adrian Rutle: A Model Slicing Method for Workflow Verification. 79-93
- Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Cerschi Seceleanu: A Design Tool for Service-oriented Systems. 95-100
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team