Brinksma, Ed
Brinksma, Ed 1957-
Brinksma, H. (Hendrik), 1957-
Brinksma, E.
Brinksma, H., 1957-
Hendrik Brinksma Dutch computer scientist
VIAF ID: 93770802 ( Personal )
Permalink: http://viaf.org/viaf/93770802
Preferred Forms
- 100 1 _ ‡a Brinksma, E.
-
- 100 1 _ ‡a Brinksma, Ed
-
-
- 100 1 0 ‡a Brinksma, Ed
-
-
-
- 100 1 _ ‡a Brinksma, Ed
-
- 100 1 _ ‡a Brinksma, Ed ‡d 1957-
-
-
- 100 0 _ ‡a Hendrik Brinksma ‡c Dutch computer scientist
4xx's: Alternate Name Forms (14)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
An algebraic approach to the specification of stochastic systems | |
Behavioural hybrid process calculus | |
Cache consistency by design | |
A calculus for timed automata | |
Causal ambiguity and partial orders in event structures | |
CAV 2002 | |
Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings | |
Constraint-oriented specification in a constructive formal description technique | |
Dependability for high-tech systems: an industry-as-laboratory approach | |
FMPA 2000 | |
Formal approaches to testing of software | |
Formal notions of implementation and conformance in LOTOS | |
From data structure to process structure | |
Functionality decomposition by compositional correctness preserving transformation | |
Goal-driven LOTOS execution | |
IFIP TC6 International Workshop on Protocol Test Systems (4th : 1991 : Leidschendam, Netherlands). Protocol test systems, 1992: | |
Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures | |
Methods for modelling software systems organisers' summary ; Dagstuhl seminar 06351 | |
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise | |
On the design of extended LOTOS : a specification language for open distributed systems | |
On the existence of canonical testers | |
On verification modelling of embedded systems | |
Performance analysis and true concurrency semantics | |
Perspectives of model-based testing 04371 abstracts collection | |
Process algebra and performance modelling : fifth international workshop 1997 | |
Protocol conformance testing: a formal perspective on ISO IS-9646 | |
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 | |
Specification modules in Lotos | |
A stochastic causality-based process algebra | |
TACAS '97 | |
Test automation and reactive systems theory and practice ; 06.09.1998 - 11.09.1998 | |
A test generation framework for quiescent real-time systems | |
Testing multi input-output real-time systems : (extended version) | |
A theory for the derivation of tests | |
Tools and algorithms for the construction and analysis of systems : third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings | |
Tussen droom en daad : formele methoden en gereedschappen bij specificatie en implementatie van open systemen | |
What is the method in formal methods? |