Ed Brinksma

Available identifiers

zbMath Open brinksma.edMaRDI QIDQ1177942

List of research outcomes

Publication	Date of Publication	Type
From data structure to process structure	2024-04-29	Paper
Causal ambiguity and partial orders in event structures	2023-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q5137878	2020-12-03	Paper
Testing Divergent Transition Systems	2020-02-24	Paper
Design of a PLC control program for a batch plant VHS case study 1	2014-08-07	Paper
A Semantic Framework for Test Coverage	2008-09-04	Paper
Optimal infinite scheduling for multi-priced timed automata	2008-03-11	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4817531	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4817543	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4536589	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4551180	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4547767	2002-08-21	Paper
Verification is experimentation!	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4532083	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q2753753	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4028616	1993-03-28	Paper
Specification styles in distributed systems design and verification	1992-06-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ed Brinksma