Nicolae Marian

Publication Activity (10 Years)

Years Active: 2002-2012
Publications (10 Years): 0

Top Topics

Automatic Analysis

Top Venues

Innov. Syst. Softw. Eng.

Publications

Christo Angelov, Wei Guan, Nicolae Marian, Feng Zhou, Krzysztof Sierszecki, Søren Top
Component-based analysis of embedded control applications. Innov. Syst. Softw. Eng. 8 (1) (2012)
Christo Angelov, Krzysztof Sierszecki, Nicolae Marian, Jinpeng Ma
A Formal Component Framework for Distributed Embedded Systems. CBSE (2006)
Christo Angelov, Krzysztof Sierszecki, Nicolae Marian
Design Models for Reusable and Reconfigurable State Machines. EUC (2005)
Christo Angelov, Krzysztof Sierszecki, Nicolae Marian
Component-Based Design of Embedded Software: An Analysis of Design Issues. FIDJI (2004)
Nicolae Marian
A Process Algebra for Predictible Control Systems. Sci. Ann. Cuza Univ. 11 (2002)