PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gunter, Elsa L."

Author of the publication

copydeleteadd this publication to your clipboard
Model checking, testing and verification working together.

, and . Formal Asp. Comput., 17 (2): 201-221 (2005)

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.

Prof. iR Dr. -Ing. Günter Eisenbiegler University of Stuttgart

L. Ahlgrimm

Elsa Bunz University of Stuttgart

Hon. -Prof. Dr. Günter Weber University of Stuttgart

Marc Günter University of Stuttgart

 

Other publications of authors with the same name

A Reference Model for Requirements and Specifications., , , and . IEEE Software, 17 (3): 37-43 (2000)Correspondence assertions for process synchronization in concurrent communications., , and . J. Funct. Program., 15 (2): 219-247 (2005)LiquidPi: Inferrable Dependent Session Types., and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 185-197. Springer, (2013)Toward a multi-method approach to formalizing human-automation interaction and human-human communications., , , , , , and . SMC, page 1817-1824. IEEE, (2011)A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras., and . WPTE@FSCD, volume 265 of EPTCS, page 20-34. (2017)OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications., and . DEXA, volume 856 of Lecture Notes in Computer Science, page 641-650. Springer, (1994)Formal Modeling and Analysis for Interactive Hybrid Systems., , , and . ECEASST, (2011)Correspondence Assertions for Process Synchronization in Concurrent Communications., , and . Electron. Notes Theor. Comput. Sci., (2004)Implementing a Real-Time Process Algebra in HOL., , and . TPHOLs, page 144-154. IEEE Computer Society, (1991)Robustness for protection envelopes with respect to human task variation., and . SMC, page 1809-1816. IEEE, (2011)