Veröffentlichungen
März 2015
So Mo Di Mi Do Fr Sa
1234567
891011121314
15161718192021
22232425262728
293031 
DBApp-Suche

Application datasets: 19659 Version datasets: 131759
DBApp v1.06
Copyright © demon
Werbung
  UPPAAL

UPPAAL ist eine integrierte Umgebung zum Modellieren, Validieren und Verifizieren von Echtzeitsystemen, die als Netze von zeitgesteuerten Automaten modelliert werden, die mit Datentypen wie Integer mit Grenzen, oder Arrays erweitert werden. Typische Anwendungsgebiete sind Echtzeit-Steuerungen und Kommunikationsprotokolle, besonders diejenigen, in denen das Timing kritisch ist. (hjb)


 

Homepage: http://www.uppaal.com/
Rating:
Lizenz: Frei für nichtkommerzielle Zwecke
Kategorie: X11
 
 

.: Hauptzweig
2007-03-09  4.0.6  Wichtige Korrekturen  mehr...  
.: X86_64/AMD64
2005-05-31  050531  Kleinere neue Funktionen  mehr...  
.: CORA
2006-09-10  060910  Wichtige Korrekturen  mehr...  
 
  Angaben ändern   Neue Version melden