Вы здесь

Brinksma E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Factorized test generation for multi-input/output transition systems 1998 Brinksma E., Heerink L., Tretmans J. Testing of Communicating Systems (IFIP) 29.01.2005
П As Cheap as Possible: Linearly Priced Timed Automata 2002 Behrmann G., Brinksma E., Fehnker A., Larsen K., Pettersson P., Romijn J., Vaandrager F. Techn.Univ.Munchen 24.08.2002
СТ Testing Transition Systems: An Annotated Bibliography 2001 Brinksma E., Tretmans J. Lecture Notes in Computer Science 04.11.2001
СТ Verification and Optimization of a PLC Control Schedule 2000 Brinksma E., Mader A. Lecture Notes in Computer Science 26.09.2000
СТ Verification Is Experimentation! 2000 Brinksma E. Lecture Notes in Computer Science 15.09.2000
СТ A Complete Finite Prefix for Process Algebra 1999 Langerak R., Brinksma E. Lecture Notes in Computer Science 16.07.1999
СТ Fair Testing 1995 Brinksma E., Rensink A., Vogler W. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
СТ Functionality Decomposition by Compositional Correctness Preserving Transformation 1993 Brinksma E., Langerak R., Broekroelofs P. Lecture Notes in Computer Science 20.08.1993
СТ On the Uniqueness of Fixpoints Modulo Observation Congruence 1992 Brinksma E. Lecture Notes in Computer Science 16.10.1992
СТ Specification styles in distributed systems design and verification 1991 Vissers C., Scollo G., Sinderen M., Brinksma E. Theoretical Computer Science 28.11.1991
СТ Refining Interfaces of Communicating Systems 1991 Brinksma E., Jonsson B., Orava F. Lecture Notes in Computer Science 21.05.1991