DBLife: Roel Wieringa
dblife.cs.wisc.edu
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa. MMOSS Web Search BibTeX Download: 80: Understanding Business Strategies of Networked Value
DBLife: Ed Brinksma
dblife.cs.wisc.edu
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa. ...
Program: Workshop on Parallel and Distributed Real-Time Systems
homepage.cs.uri.edu
8: :30 Welcome and Opening Remarks by Workshop Program Chairs ... Ed Brinksma, Martijn Hendriks, Angelika Mader "Control of temporal constraints based ...
SPIN Model Checking and Software Verification: 7th International SPIN...
books.google.de
73 Ed Brinksma (University of Twente) and Angelika Mader (University of Nijmegen) Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study .
Ed Brinksma - researchr alias
researchr.org
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa, editors, Volume of Dagstuhl Seminar Proceedings, Internationales ...
CiteSeerX — Design of a PLC Control Program for a Batch Plant - VHS...
citeseer.ist.psu.edu
by Angelika Mader , Ed Brinksma
Google Groups: SPIN Model Checking and Software Verification : 7th International ...
: ... a PLC Control Schedule 73 Ed Brinksma (University of Tv~ente) and Angelika Mader (University of Nidmegen) Modeling the ASCB-D Synchronization Algorithm ...
All web results to the name "Angelika Mader"
TDGS - "Angelika Mader"
juliette.lsi.us.es
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens , Roel Wieringa. MMOSS, Fetch
DBLP: Angelika Mader
www.vldb.org
Coauthor Index. 1: Gerd Behrmann : 2: Henrik C. Bohnenkamp : 3: Julian C. Bradfield : 4: Ed Brinksma
DROPS Abstracts Collection -- Methods for Modelling Software...
drops.dagstuhl.de
@InProceedings{brinksma_et_al:DSP:2007:958, author = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel ...
MoDeVa'05 - Program
www.irisa.fr
Ed Brinksma, Angelika Mader, Jelena Marincic, Roel Wieringa. 10: :10, Model Transformations Should Be More Than Just Model Generators Jon Whittle ...
Verification and Optimization of a PLC Control Schedule
citeseer.uark.edu
Verification and Optimization of a PLC Control Schedule –Ed Brinksma, Angelika Mader, Ansgar Fehnker — SOFTWARE TOOLS FOR TECHNOLOGY ...
Scheduling lacquer production by reachability analysis - A case...
research.utwente.nl
SCHEDULING LACQUER PRODUCTION BY REACHABILITY ANALYSIS - A CASE STUDY 1 Gerd Behrmann ∗ Ed Brinksma ∗∗ Martijn Hendriks ∗∗∗ Angelika Mader
DBLP: Roel Wieringa
www.vldb.org
Jelena Marincic, Angelika Mader, Roel Wieringa: Classifying ... Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: Methods for Modelling Software ...
DROPS - Modeling and Aspect Weaving
drops.dagstuhl.de
... Modeling and Aspect Weaving}, booktitle = {Methods for Modelling Software Systems (MMOSS)}, year = {2007}, editor = {Ed Brinksma and David Harel and Angelika Mader
DROPS - System model for UML -- The interactions case
drops.dagstuhl.de
... UML -- The interactions case}, booktitle = {Methods for Modelling Software Systems (MMOSS)}, year = {2007}, editor = {Ed Brinksma and David Harel and Angelika Mader
Dagstuhl Seminar Proceedings
www.vldb.org
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa (Eds. ...
BibTeX bibliography sttt.bib
ftp.math.utah.edu
... for Technology Transfer (STTT)", %%% license = "public domain" ... author = "Ed Brinksma and Angelika Mader and Ansgar Fehnker", title = "Verification and optimization of a ...
International Journal on Software Tools for Technology Transfer (STTT)
ftp.math.utah.edu
1--7 Klaus Havelund and Willem Visser Program model checking as a new trend Ed Brinksma and Angelika Mader and
Related search requests for Angelika Mader
Jelena Marincic Perdita Stevens Roel Wieringa | Hanno Wupper Reiko Heckel Nanette Bauer | Paola Inverardi Willem Visser Mats Heimdahl |
Person "Mader" (1) Forename "Angelika" (7651) Name "Mader" (843) |
sorted by relevance / date