High-Assurance Software Laboratory

Search: ^t

DI/FMHAS Web Changed Changed by
TechnicalReports 27 Nov 2020 - 18:01 - r21 JoseNunoOliveira
Technical Reports LaTeX style file: haslab report.sty Note : the list of reports below and that in https://haslab.uminho.pt/publications/types/report will be merged ...
Tools 27 Mar 2010 - 15:39 - r4 JoseNunoOliveira
(Under revision) 2LT A two level data transformation system. 2LT is a deliverable of the PURe project. Examples of application include XML schema evolution coupled ...
Found 2 topics.
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM