Veröffentlichungen
Juli 2018
So Mo Di Mi Do Fr Sa
1234567
891011121314
1516171819_2_021
22232425262728
293031 
DBApp-Suche

Application datasets: 20399 Version datasets: 143245
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