Veröffentlichungen
Oktober 2018
So Mo Di Mi Do Fr Sa
123456
78910111213
14151617181920
21222324252627
28293031 
DBApp-Suche

Application datasets: 20442 Version datasets: 143986
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