Veröffentlichungen
Dezember 2018
So Mo Di Mi Do Fr Sa
     1
2345678
9101112131415
16171819202122
23242526272829
3031 
DBApp-Suche

Application datasets: 20458 Version datasets: 144457
DBApp v1.06
Copyright © demon
Werbung
  UPPAAL Timed Automata Parser Library

Die UPPAAL Timed Automata Parser Library (libutap) ist die Parser-Bibliothek von UPPAAL. Sie enthält einen Typ-Checker und unterstützt die Dateiformate TA, XTA und XML. (non)


 

Homepage: http://www.cs.auc.dk/~behrmann/utap/
Rating:
Lizenz: GNU Lesser General Public License (LGPL)
Kategorie: Konsole
 
 

.: Hauptzweig
2006-05-17  0.90  Ersteintrag  mehr...  
 
  Angaben ändern   Neue Version melden