Vissers, Chris A.
Vissers, Chris A., 1941-....
Vissers, Chris A. (Christiaan Anton), 1941-
Vissers, Christiaan Anton
VIAF ID: 65557167 (Personal)
Permalink: http://viaf.org/viaf/65557167
Preferred Forms
-
-
100 1 _ ‡a Vissers, Chris A.
-
100 1 _ ‡a Vissers, Chris A. (sparse)
-
-
-
100 1 0 ‡a Vissers, Chris A., ‡d 1941-
-
100 1 _ ‡a Vissers, Chris A., ‡d 1941-....
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Afscheidsrede |
![]() |
Architectural design of open distributed systems: from interface to telematics : liber amicorum ter gelegenheid van het afscheid van/dedicated to Chris Vissers |
![]() |
A development model for distributed information systems |
![]() |
The formal description technique LOTOS : results of the ESPRIT/SEDOS Project |
![]() ![]() ![]() ![]() |
Interface : definition, design, and description of the relation of digital system parts |
![]() |
Lotosphere, an attempt towards a design culture |
![]() |
LOTOSphere : software development with LOTOS |
![]() |
On the use of pre-defined implementation constructs in distributed systems design |
![]() |
Overview of the Lotosphere Design Methodology |
![]() |
Protocol design and implementation using formal methods |
![]() |
Protocol, specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium of Protocol Specification, Testing, and Verification, Enschede, the Netherlands, 6-9 June, 1989 |
![]() ![]() |
Tussen eenheid en verdeling |
![]() |
What makes industries believe in formal methods |
![]() |