SPIN - PDFSEARCH.IO - Document Search Engine

SPIN
Results: 4372

#	Item
1	January 31, 2013 Re: Information for Canadian resident shareholders concerning the Canadian Income Tax Election on the spin-off of AbbVie Inc. from Abbott Laboratories Add to Reading List Source URL: dam.abbott.com Language: English - Date: 2017-06-22 11:50:54 Economy Finance Money Stock market Equity securities Taxation in the United States Corporate finance Abbott Laboratories Lake Bluff Illinois AbbVie Inc. Cost basis Dividend
2	PRESS RELEASE Zurich, Best of both worlds in health science Advancience and healthbank The data science company, started as a spin-off project of Basel University, together with the GDPR compliant health data p Add to Reading List Source URL: www.healthbank.coop Language: English - Date: 2018-08-14 08:18:32 Identity management Data security Law Information governance Terms of service Privacy Profiling Internet privacy Information privacy Medical privacy
3	Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich Add to Reading List Source URL: mbeddr.com Language: English - Date: 2018-08-02 04:06:51 Model checkers Computing Theoretical computer science Software engineering Formal methods Promela SPIN model checker Model checking Guard Certificate Formal verification Printf format string
4	Tackling Large Software Verification Problems with Spin Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:28:50 Model checkers Software engineering Computing Theoretical computer science Model checking Promela Formal verification SPIN model checker Abstraction Sizeof Const
5	Tackling Large Software Verification Problems with Spin Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:30:09 Model checkers Software engineering Computing Electronic engineering Theoretical computer science Model checking Swarm behaviour Formal methods Promela Swarm Software verification SPIN model checker
6	PDF Document Add to Reading List Source URL: gp-spin.tohoku.ac.jp - Date: 2017-07-27 22:18:44
7	PDF Document Add to Reading List Source URL: spin.ncsa.illinois.edu - Date: 2016-09-29 10:30:58
8	PDF Document Add to Reading List Source URL: gp-spin.tohoku.ac.jp - Date: 2016-06-14 02:06:23
9	PDF Document Add to Reading List Source URL: gp-spin.tohoku.ac.jp - Date: 2016-06-16 04:18:53
10	PDF Document Add to Reading List Source URL: gp-spin.tohoku.ac.jp - Date: 2018-05-23 22:45:38

UPDATE