Ed Brinksma

From MaRDI portal
Person:1177942

Available identifiers

zbMath Open brinksma.edMaRDI QIDQ1177942

List of research outcomes





PublicationDate of PublicationType
From data structure to process structure2024-04-29Paper
Causal ambiguity and partial orders in event structures2023-05-17Paper
Cache consistency by design2020-12-03Paper
Testing divergent transition systems2020-02-24Paper
Design of a PLC control program for a batch plant VHS case study 12014-08-07Paper
A Semantic Framework for Test Coverage2008-09-04Paper
Optimal infinite scheduling for multi-priced timed automata2008-03-11Paper
Hybrid Systems: Computation and Control2007-09-25Paper
Formal Approaches to Software Testing2005-12-02Paper
https://portal.mardi4nfdi.de/entity/Q48175432004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q48175312004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q45365892002-11-28Paper
https://portal.mardi4nfdi.de/entity/Q45511802002-09-04Paper
https://portal.mardi4nfdi.de/entity/Q45477672002-08-21Paper
Verification is experimentation!2002-07-25Paper
https://portal.mardi4nfdi.de/entity/Q45320832002-05-28Paper
https://portal.mardi4nfdi.de/entity/Q27537532001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q40286161993-03-28Paper
Specification styles in distributed systems design and verification1992-06-26Paper

Research outcomes over time

This page was built for person: Ed Brinksma

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1177942&oldid=5947624"
Powered by MediaWiki