( en | de | ru )

 

Disambiguation of "Colvin, Robert"

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic Model-Checking Support for FMEA.

, , and . QEST, page 119-128. IEEE Computer Society, (2007)

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.

Milton Colvin

Robert Klöfkorn

Numerics for evolution equations: a general interface based design concept. Uni Freiburg, (2009)

Robert Wille

Towards a design flow for reversible logic. Uni Bremen, (2009)

Robert Braun

Referenzmodellierung: Grundlegung und Evaluation der Technik des Modell-Konfigurationsmanagements. TU Dresden, (2010)

Robert Wagner

Inkrementelle Modellsynchronisation. Uni Paderborn, (2009)
 

Other publications of authors with the same name

An operational semantics for object-oriented concepts based on the class hierarchy.. Formal Aspects Comput., 26 (3): 491-535 (2014)Formal Verification of a Lazy Concurrent List-Based Set Algorithm., , , and . CAV, volume 4144 of Lecture Notes in Computer Science, page 475-488. Springer, (2006)Developing Logic Programs from Specifications Using Stepwise Refinement., , , , , and . Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, Springer, (2004)CSP with Hierarchical State., and . IFM, volume 5423 of Lecture Notes in Computer Science, page 118-135. Springer, (2009)Formal Verification of an Array-Based Nonblocking Queue., and . ICECCS, page 507-516. IEEE Computer Society, (2005)Refining Logic Programs Using Types., , and . ACSC, page 43-50. IEEE Computer Society, (2000)A semantics for Behavior Trees using CSP with specification commands., and . Sci. Comput. Program., 76 (10): 891-914 (2011)CSP with Hierarchical State, and . (2009)Calculating modules in contextual logic program refinement, , and . CoRR, (2006)Integrated Operational Semantics: Small-Step, Big-Step and Multi-step., and . ABZ, volume 7316 of Lecture Notes in Computer Science, page 21-35. Springer, (2012)