Biomedical engineering : signal analysis, modelling and systems engineering : research progress 1986-1988 / [ed. H.B.K. Boom ... et al.]Tussen hemel en aarde : applicaties van open gedistribueerde systemen / E.F. MichielsVoortgezette elektronica II : analoge MOS schakelingen / docent: R.F. WassenaarPerformance issues of signalling protocols for broadband ISDN / Xinli Hou and Ignas G. NiemegeersRelation between call control and resource control in B-ISDN / Xinli Hou and Ignas NiemegeersA control system architecture for high speed packet switching networks / Xinli Hou and Ignas NiemegeersScientific report 1989-1993 : quality assessment of research / University of Twente. Faculty of Electrical EngineeringCache consistency by design / Ed BrinksmaA stochastic causality-based process algebra / E. Brinksma ... [et al.]Design and analysis of dynamic leader election protocols in broadcast networks / J. Brunekreef ... [et al.]Assertional verification of a connection management protocol / András L. Oláh, Sonia M. Heemstra de GrootCode generation based on formal BURS theory and heuristic search / A. Nijmeijer, J.P. KatoenProtocol implementation : bridging the gap between architecture and realization / H.H.C. KremerCode generation = A*+ BURS / A. Nijmeijer ... [et al.]Voortgezette elektronica I : (analoge bipolaire schakelingen) / auteur: R.F. WassenaarScientific report 1994-1998 : quality assessment / Faculty of Electrical Engineering University of Twente
author
Memoranda informatica / University of Twente, Department of Computer ScienceWhat is the method in formal methods? / Ed BrinksmaA formal development trajectory for OSI application layer protocols / R.E. Booth ... [et al.]Integrated service engineering supported by the FDT LOTOS / Ria Schepers, Luis Ferreira PiresSpecification of a distributed coordination function in LOTOS / I. Widya, F. Sadoun, G.J. van der HeijdenPerformability modelling tools : a survey / Boudewijn R. Haverkort, Ignas G. NiemegeersCriteria for, and experience with, ADTs in large LOTOS specifications / H. KremerCislan-2 : final document by University of Twente / ed. by F.V. BaumannReal-time service definition of a communication network in a manufacturing environment / Aiko Pras, Jeroen Schot, Thony van der VloedtVariable bandwidth connections for a connectionless service on ATM-performance modelling and evaluation / Geert J. Heijenk, Ignas G. NiemegeersProtocol conformance testing: a formal perspective on ISO IS-9646 / Jan Tretmans, Pim Kars, Ed BrinksmaA soft stairway to institutions / Antonino Salibra and Giuseppe ScolloComparing UCN with FDDI and DQDB using a realistic workload model / H.L. Pasch and I.G. NiemegeersProtocol design using LOTOS : a critical synthesis of a standardization experience / H. Kremer ... [et al.]On the use of pre-defined implementation constructs in distributed systems design / Luis Ferreira Pires, Marten van Sinderen, Chris A. VissersA method for analysing the performance aspects of the fault-tolerance mechanisms in FDDI / Aad P.A. van Moorsel, Boudewijn R. Haverkort, Ignas G. NiemegeersCislan-2 extension : final document by University of Twente / ed. by: F.V. Baumann ; with contributions from: Ignas Niemegeers ... [et al.]Approximate performability analysis using generalized stochastic Petri nets / Boudewijn R. HaverkortThe LOTOS integrated editor Crie user and reference manual / Axel BelinfanteImplementation issues concerning injection simulation : Part 1: the backbone implementation / Aad P.A. van MoorselFrom data structure to process structure / Ed Brinksma and Pim KarsThe evolution of signalling from ISDN to B-ISDN / I.G. Niemegeers, G.J. HeijenkMGMtool: a performance modelling tool based on matrix geomatric techniques / Boudewijn R. Haverkort, Aad P.A. van Moorsel, Arvid DijkstraA Queue model relating synchronous and asynchronous communication / Jan Tretmans, Louis VerhaardTMN : introduction and interpretation / Aiko PrasTP protocol from specification to implementation / Ing Widya, Gert-Jan van der Heijden, François JuillotProtocol design and implementation using formal methods / Marten van Sinderen, Luís Ferreira Pires, Chris A. VissersLOTOS specification style for OSI / K.J. Turner, M. van SinderenTowards computer-supported creative design based on Altshuller's theory of inventive problem solving / F. Dikker ... [et al.]Bipartitioning of LOTOS specifications / Peter J. BroekroelofsUniversal channel network, or combining the best of token ring and slotter ring / H.L. Pasch and I.G. NiemegeersDistributed computer systems and logistics systems: what do they have in common besides distribution? / Leonard J.N. Franken, Boudewijn R. HaverkortA design and realization exercise of a mini message transfer system / I. Widya, R. de Bos, M. van SinderenDesign and implementation strategies / Jeroen Schot, Luís Ferreira PiresLotosphere, an attempt towards a design culture / Chris A. Vissers, Luís Ferreira Pires, Jeroen van de LagemaatA survey of network interface designs / András OláhSpecification and generation of Markov reward models / Boudewijn R. Haverkort, Kishor S. TrivediThe term processor Kimwitu manual and cookbook / Peter van Eijk and Axel BelinfanteA semi-Markov model of a home network access protocol / Joost-Pieter KatoenAn efficient medium access control strategy for high speed WDM multiaccess networks / J.H. Laarhuis and A.M.J. Koonen