( en | de | ru )

 

Disambiguation of "Guelfi, Nicolas"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Specification Framework for Object-Oriented Distributed Systems.

, and . IEEE Trans. Software Eng., 26 (7): 635-652 (2000)

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.

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Lothar Nicolas

Nicólás Penzo

Nicolas Swart

Nicolas Katsarakis

 

Other publications of authors with the same name

Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process., and . Methods, Models and Tools for Fault Tolerance, volume 5454 of Lecture Notes in Computer Science, Springer, (2009)A Survey of Interoperability in E-Health Systems - The European Approach., , , , , and . HEALTHINF (1), page 172-175. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, (2008)Software Engineering of Fault Tolerant Systems, , , and . World Scientific Publishing Co. Pte. Ltd., SGP, (2007)A Pattern Language for Documenting Software Architectures., , and . EuroPLoP, page 673-694. UVK - Universitaetsverlag Konstanz, (2004)Slicing High-level Petri Nets., and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 201-220. CEUR-WS.org, (2014)Real-Time Synchronised Petri Nets., , , and . ICATPN, volume 2360 of Lecture Notes in Computer Science, page 142-162. Springer, (2002)Analysing the SWECOM Standard for Designing a DevOps Education Programme., and . FISEE, volume 12271 of Lecture Notes in Computer Science, page 133-150. Springer, (2019)A Flexible Requirements Analysis Approach for Software Product Lines., and . REFSQ, volume 4542 of Lecture Notes in Computer Science, page 78-92. Springer, (2007)Formal Development and Validation of Java Dependable Distributed Systems., , , and . ICECCS, page 98-108. IEEE Computer Society, (1999)A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications., and . COMPSAC, page 739-744. IEEE Computer Society, (2008)