E-LIB Suche - Ergebnisse für: Brinksma, Ed

1

Dependability for high-tech systems : an industry-as-lab..:

, In: Proceedings of the conference on Design, automation and test in Europe,

Brinksma, Ed ; Hooman, Jozef - p. 1226-1231 , 2008

Link: https://dl.acm.org/doi/1..

2

Optimal infinite scheduling for multi-priced timed automata:

Bouyer, Patricia ; Brinksma, Ed ; Larsen, Kim G.
Formal Methods in System Design. 32 (2007) 1 - p. 3-23 , 2007

Link: https://doi.org/10.1007/..

3

Managing the verification trajectory:

Ruys, Theo C. ; Brinksma, Ed
International Journal on Software Tools for Technology Transfer (STTT). 4 (2003) 2 - p. 246-259 , 2003

Link: https://doi.org/10.1007/..

4

Prozessalgebra, Teil 1 (Process Algebra, Part 1):

Brinksma, Ed ; Mader, Angelika
at - Automatisierungstechnik. 51 (2003) 8 - p. 385-385 , 2003

Link: https://doi.org/10.1524/..

5

Prozessalgebra, Teil 2 (Process Algebra, Part 2):

Brinksma, Ed ; Mader, Angelika
at - Automatisierungstechnik. 51 (2003) 9 - p. A17-A20 , 2003

Link: https://doi.org/10.1524/..

6

Prozessalgebra, Teil 2 (Process Algebra, Part 2):

Brinksma, Ed ; Mader, Angelika
at - Automatisierungstechnik. 51 (2003) 9 - p. 433-433 , 2003

Link: https://doi.org/10.1524/..

7

Prozessalgebra, Teil 1 (Process Algebra, Part 1):

Brinksma, Ed ; Mader, Angelika
at - Automatisierungstechnik. 51 (2003) 8 - p. A13-A16 , 2003

Link: https://doi.org/10.1524/..

8

Design of a PLC Control Program for a Batch Plant VHS Case ..:

Mader, Angelika ; Brinksma, Ed ; Wupper, Hanno.
European Journal of Control. 7 (2001) 4 - p. 416-439 , 2001

Link: https://doi.org/10.3166/..

9

Verification is experimentation!:

Brinksma, Ed
International Journal on Software Tools for Technology Transfer. 3 (2001) 2 - p. 107-111 , 2001

Link: https://doi.org/10.1007/..

10

Cache consistency by design:

Brinksma, Ed
Distributed Computing. 12 (1999) 2-3 - p. 61-74 , 1999

Link: https://doi.org/10.1007/..

11

Partial order models for quantitative extensions of LOTOS:

Brinksma, Ed ; Katoen, Joost-Pieter ; Langerak, Rom.
Computer Networks and ISDN Systems. 30 (1998) 9-10 - p. 925-950 , 1998

Link: https://doi.org/10.1016/..

12

Tools and Algorithms for the Construction and Analysis of S..

Third International Workshop, TACAS'97 Enschede, The Nether... Lecture Notes in Computer Science ; 1217

Brinksma, Ed , 1997

Link: https://doi.org/10.1007/..

13

Specification styles in distributed systems design and veri..:

Vissers, Chris A. ; Scollo, Giuseppe ; van Sinderen, Marten.
Theoretical Computer Science. 89 (1991) 1 - p. 179-206 , 1991

Link: https://doi.org/10.1016/..

14

Introduction to the PSTV-IX:

Brinksma, Ed ; Scollo, Giuseppe ; Vissers, Chris A.
Computer Networks and ISDN Systems. 22 (1991) 1 - p. 1-6 , 1991

Link: https://doi.org/10.1016/..

15

Introduction to the ISO specification language LOTOS:

Bolognesi, Tommaso ; Brinksma, Ed
Computer Networks and ISDN Systems. 14 (1987) 1 - p. 25-59 , 1987

Link: https://doi.org/10.1016/..