JCSP

Results: 20



#Item
1A Compositional Approach to Active and Passive Components Kung-Kiu Lau and Ioannis Ntalamagkas School of Computer Science, The University of Manchester Manchester M13 9PL, UK {kung-kiu,i.ntalamagkas}@cs.manchester.ac.uk

A Compositional Approach to Active and Passive Components Kung-Kiu Lau and Ioannis Ntalamagkas School of Computer Science, The University of Manchester Manchester M13 9PL, UK {kung-kiu,i.ntalamagkas}@cs.manchester.ac.uk

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2008-10-31 07:51:28
2Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira  Submitted for the degree of Doctor of Philosophy

Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy

Add to Reading List

Source URL: www.cs.york.ac.uk

Language: English - Date: 2014-11-17 14:56:11
3Microsoft Word - November Conference 2013 brochure draft

Microsoft Word - November Conference 2013 brochure draft

Add to Reading List

Source URL: www.slari.ie

Language: English - Date: 2013-11-15 04:18:52
4Privacy Impact Assessment Update for the Joint Cybersecurity Services Program (JCSP), Defense Industrial Base (DIB) – Enhanced Cybersecurity Services (DECS)

Privacy Impact Assessment Update for the Joint Cybersecurity Services Program (JCSP), Defense Industrial Base (DIB) – Enhanced Cybersecurity Services (DECS)

Add to Reading List

Source URL: www.dhs.gov

Language: English - Date: 2012-07-19 12:31:54
5

PDF Document

Add to Reading List

Source URL: cfcollegefoundation.files.wordpress.com

Language: English - Date: 2014-06-13 14:04:42
6Department Of Homeland Security Privacy Office NPPD JCSP PIA

Department Of Homeland Security Privacy Office NPPD JCSP PIA

Add to Reading List

Source URL: www.dhs.gov

Language: English - Date: 2012-01-17 06:29:40
7DOE Education Inclusion Covers[removed]:31

DOE Education Inclusion Covers[removed]:31

Add to Reading List

Source URL: jcsp.slss.ie

Language: English - Date: 2010-10-04 01:56:01
80000 JCSP Statement v2.indd

0000 JCSP Statement v2.indd

Add to Reading List

Source URL: www.ncca.ie

Language: English - Date: 2010-09-02 22:19:00
9Microsoft PowerPoint - jcsp.ppt

Microsoft PowerPoint - jcsp.ppt

Add to Reading List

Source URL: www.cs.kent.ac.uk

Language: English - Date: 2008-04-01 09:08:40
10Computing Laboratory[removed]

Computing Laboratory[removed]

Add to Reading List

Source URL: www.cs.kent.ac.uk

Language: English - Date: 2001-06-05 08:23:18