User contributions
Jump to navigation
Jump to search
- 12:00, 29 November 2021 diff hist -6 Ivoire:About →Austria, Linz:
- 12:00, 29 November 2021 diff hist -16 Ivoire:About →Germany, Düsseldorf:
- 11:59, 29 November 2021 diff hist +353 Ivoire:About -
- 11:38, 29 November 2021 diff hist 0 N File:Hhu..png current
- 10:47, 29 November 2021 diff hist 0 N File:Jku.png current
- 10:35, 29 November 2021 diff hist -5 MediaWiki:Sidebar
- 10:29, 29 November 2021 diff hist +1 Reports
- 10:29, 29 November 2021 diff hist 0 Reports
- 10:28, 29 November 2021 diff hist +39 Reports
- 10:27, 29 November 2021 diff hist 0 N File:IVOIRE Deliverable D 1 1.pdf current
- 09:57, 29 November 2021 diff hist -58 MediaWiki:Common.css
- 09:56, 29 November 2021 diff hist +210 MediaWiki:Common.css
- 09:48, 29 November 2021 diff hist +21 MediaWiki:Sidebar
- 09:38, 29 November 2021 diff hist -43 Main Page
- 09:29, 29 November 2021 diff hist -1 MediaWiki:Common.css
- 09:26, 29 November 2021 diff hist 0 MediaWiki:Common.css
- 09:23, 29 November 2021 diff hist +404 MediaWiki:Common.css
- 09:14, 29 November 2021 diff hist -43 MediaWiki:Lastmodifiedat Blanked the page current Tag: Blanking
- 09:13, 29 November 2021 diff hist +43 N MediaWiki:Lastmodifiedat Created page with "→This page was last edited on $1, at $2.: "
- 09:11, 29 November 2021 diff hist -1 MediaWiki:Common.css
- 09:11, 29 November 2021 diff hist +73 MediaWiki:Common.css
- 09:10, 29 November 2021 diff hist +71 MediaWiki:Common.css
- 09:09, 29 November 2021 diff hist +47 MediaWiki:Common.css
- 09:07, 29 November 2021 diff hist +68 MediaWiki:Common.css
- 09:06, 29 November 2021 diff hist +396 MediaWiki:Common.css
- 08:58, 29 November 2021 diff hist +186 MediaWiki:Common.css
- 08:55, 29 November 2021 diff hist +73 MediaWiki:Common.css
- 08:55, 29 November 2021 diff hist -157 MediaWiki:Common.css
- 08:54, 29 November 2021 diff hist -4 MediaWiki:Common.css
- 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..."
