User contributions
Jump to navigation
Jump to search
- 08:54, 29 November 2021 diff hist 0 MediaWiki:Common.css
- 08:52, 29 November 2021 diff hist +2 MediaWiki:Common.css
- 08:50, 29 November 2021 diff hist +90 MediaWiki:Common.css
- 08:47, 29 November 2021 diff hist +97 MediaWiki:Common.css
- 08:47, 29 November 2021 diff hist +45 MediaWiki:Common.css
- 08:44, 29 November 2021 diff hist +91 N MediaWiki:Common.css Created page with "→CSS placed here will be applied to all skins: #footer-poweredbyico { display: none; }"
- 08:17, 29 November 2021 diff hist +3 Main Page
- 08:17, 29 November 2021 diff hist +503 Main Page
- 08:14, 29 November 2021 diff hist -31 MediaWiki:Sidebar
- 08:04, 29 November 2021 diff hist -37 MediaWiki:Sidebar
- 08:03, 29 November 2021 diff hist -4 MediaWiki:Sidebar
- 08:02, 29 November 2021 diff hist +172 N MediaWiki:Sidebar Created page with " * navigation ** mainpage|mainpage-description ** recentchanges-url|recentchanges ** Publications-url|Publications ** helppage|help-mediawiki * SEARCH * TOOLBOX * LANGUAGES"
- 07:35, 3 November 2021 diff hist -607 Main Page
- 07:33, 3 November 2021 diff hist +91 N Reports Created page with "The reports to the deliverables which are laid out in the IVOIRE project proposal. * D 1.1"
- 07:32, 3 November 2021 diff hist +374 N Publications Created page with "A listing of all publications made: '''2021''' * [https://arxiv.org/abs/2102.06037 Validation Obligations: A Novel Approach to Check Compliance between Requirements and thei..."
- 07:30, 3 November 2021 diff hist +154 About the Project
- 07:16, 3 November 2021 diff hist +97 About the Project
- 07:14, 3 November 2021 diff hist +322 N About the Project Created page with "The IVOIRE project aims to introduce so-called Validation Obligations (VOs) into formal methods. With these VOs it than shall be possible to show whether a certain behavior is..."
- 07:11, 3 November 2021 diff hist +6 Main Page
- 07:09, 3 November 2021 diff hist +53 Main Page
- 06:44, 3 November 2021 diff hist +509 N Ivoire:About Created page with "IVOIRE is a collaborated research project founded by "Deutsche Forschungsgemeinschaft" (DFG) and the Austrian Science Fund (FWF) grant \# I 4744-N. The work of Austrian author..."
