Links zum Buch

URLs von Kap. 5.2, Seite 419, 420

Bekannt gewordene URL-Änderungen arbeiten wir in die folgende Liste ein.
Hinweise bitte per e-mail an litz@eit.uni-kl.de

/IntAT + / http://www.eit.uni-kl.de/litz/grundaut

Homepage zum Auffinden der Matlab-Simulink – Lösungen, der Applets und der Internetadressen

/IntCadSMV/ http://www-cad.eecs.berkeley.edu/~kenmcmil/smv/

Homepage für das Tool SMV der Cadence Berkeley Laboratories

/IntcmuSMV/ http://www-2.cs.cmu.edu/~modelcheck/

Homepage für das Tool SMV der Carnegie Mellon University

/IntCPN/ http://www.daimi.au.dk/PetriNets/

Homepage für das Coloured Petri Net Tool der CPN Group, Universiät Aarhus, Dänemark

/IntExp/ http://www.eit.uni-kl.de/frey/papers/Abstracts/I11.htm

Homepage zum Herunterladen der Experimente zur Evaluation der Transparenzmaße

/IntFoCheck/ http://www.cadence.com/datasheets/formalcheck.html

Homepage für das kommerzielle Tool FormalCheck der Cadence Berkeley

Laboratories

/IntHytech/ http://www-cad.eecs.berkeley.edu/~tah/HyTech/

Homepage für das Tool HyTech von der University of Berkeley, USA

/IntKro/ http://www-verimag.imag.fr/TEMPORISE/kronos/

Homepage für das französische Tool KRONOS der Verimag, Grenoble

/IntLU/ http://www.lurpa.ens-cachan.fr/accueil.html.en

Homepage des Laboratoire Universitaire de Recherche en Production

automatisée in Cachan, Frankreich

/IntMod/ http:// www.modelica.org

Homepage von Modelica

/IntMS/ http:// www.mathworks.com

Homepage von Matlab/Simulink

/IntNuSMV/ http://nusmv.fbk.eu/

Homepage für das Tool NuSMV

/IntPNA1/ http://olli.informatik.uni-oldenburg.de/PetriEdiSim/edisimframe.html

Homepage für das Tool PN-Editor von der Universität Oldenburg

/IntTrans/ http://www.mvp.de/

darin die Seiten Systemtechnik und Systemeigenschaften.

/IntUppaal/ http://www.uppaal.com/

Homepage für das freie Tool upaal der Uppsala University, Sweden, und der Aalborg University, Denmark

Gundelach, Litz: Moderne Prozessmesstechnik - (externer Link)

Litz: Wahrscheinlichkeitstheorie für Ingenieure

Litz: Grundlagen der Automatisierungstechnik