Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

8644 Publications


1994 | Book Chapter | LibreCat-ID: 7513
Engels G, Groenewegen L. SOCCA: Specifications of Coordinated and Cooperative Activities. In: Software Process Modelling and Technology. Taunton: Research Studies Press; 1994:71-102.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
Ebert J, Engels G. Structural and Behavioural Views on OMT-Classes. In: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy). Vol 858. Berlin/Heidelberg: Springer; 1994:142-157.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
Engels G, Ehrig H. Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. In: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science. Vol B-19. Technical Report . Universitat de les Illes Balears, Departament de Ci; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20
LibreCat | DOI
 

1994 | Book | LibreCat-ID: 3333
Kleine Büning H, Lettmann T. Aussagenlogik - Deduktion und Algorithmen. Teubner; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
Krauter S, Hanitsch R, Campbell P, Wenham SR. Optical Modelling, Simulation and Improvement of PV Module Encapsulation. In: Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201. ; 1994.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
Ebert J, Engels G. Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden; 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8263
Andries M, Engels G. Syntax and Semantics of Hybrid Database Languages. In: Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany). Vol 776. LNCS. Berlin/Heidelberg: Springer; 1994:19-36. doi:http://dx.doi.org/10.1007/3-540-57787-4_2
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 13013
Hellebrand S, Wunderlich H-J. Synthesis of Self-Testable Controllers. In: {European Design and Test Conference (EDAC/ETC/EUROASIC)}. Paris, France: {IEEE (Comput. Soc. Press)}; 1994:580-585. doi:10.1109/edtc.1994.326815
LibreCat | DOI
 

1994 | Report | LibreCat-ID: 13025
Hellebrand S, Juergensen A, Stroele A, Wunderlich H-J. Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time. University of Siegen, Germany; 1994.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: AMA

Export / Embed