Stefan Heymer - Wissenschaftliche Veröffentlichungen

(1 - 13 von 13

)

System and method for determining contingent relevance

patents.justia.com

— ... Test Cases for Infinite System Specifications—Stefan Heymer And www.itm.mu-luebeck.de/publications/GTCfISS/HeymerGrabowski.ps.gz — ... Test Cases for Infinite System Specifications—Stefan Heymer And www.itm.mu-luebeck.de/publications/GTCflSS/HeymerGrabowski.ps.gz ... › patent

A framework for the specification of test cases for real-time ...www.sciencedirect.com › science › article › abs › pii

www.sciencedirect.com

· The authors are indebted to Stefan Heymer for proof reading and for his detailed comments on earlier drafts of this paper.

dblp: Stefan Heymer

dblp.uni-trier.de

List of computer science publications by Stefan Heymer

Bibliographie - Rüdiger Valk

www2.informatik.uni-hamburg.de

In Jens Grabowski and Stefan Heymer, editors, Proceedings of 10. GI-ITG-Fachgespräch FBT 2000: Formale Beschreibungstechniken für verteilte Systeme, Lübeck, June

dblp: Formale Beschreibungstechniken

dblp.uni-trier.de

Bibliographic content of Formale Beschreibungstechniken

BibTeX records: Stefan Heymer - dblpdblp.org › Stefan Heymer

dblp.org

@inproceedings{DBLP:conf/sam/Heymer00, author = {Stefan Heymer}, editor = {Edel Sherratt}, title = {A Semantics for {MSC} Based on Petri Net Components}, ...