( en | de | ru )

 

Disambiguation of "Vassev, Emil"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Methods.

, , and . Encyclopedia of Software Engineering, Taylor & Francis, (2010)

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.

Markus Emili

Bernhard Emil

William W Emilsen

Arnaud Emilien

Emil Heitkamp

 

Other publications of authors with the same name

Autonomy requirements engineering., and . IRI, page 175-184. IEEE Computer Society, (2013)Developing Self-Managing Embedded Systems with ASSL., and . ISORC Workshops, page 81-89. IEEE Computer Society, (2010)On the autonomy requirements for space missions., and . ISORC, page 1-10. IEEE Computer Society, (2013)Complexity Reduction in Developing Autonomic Systems with ASSL., and . SEW, page 87-93. IEEE Computer Society, (2009)A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment., and . CNSR, page 176-182. IEEE Computer Society, (2005)Process Description of COM Object Life Cycle. CoRR, (2009)Enterprise Multi-Branch Database Synchronization with MSMQ. CoRR, (2009)Rapid prototyping and development of intelligent sensor networks with ASSL and DMF., and . C3S2E, page 75-83. ACM, (2010)Software Verification of Autonomic Systems Developed with ASSL., and . Monterey Workshop, volume 6662 of Lecture Notes in Computer Science, page 1-16. Springer, (2010)Aspects of Memory Management in Java and C++., and . Software Engineering Research and Practice, page 952-958. CSREA Press, (2006)