Veröffentlichungen
Oktober 2017
So Mo Di Mi Do Fr Sa
1234567
8__91011121314
15161718192021
22232425262728
293031 
DBApp-Suche

Application datasets: 20257 Version datasets: 140655
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