Matteo Camilli

Postdoc. researcher, Software Engineer.

Menu

Skip to content
  • Home
  • Android lectures @ UniBg 2014/15
  • Ingegneria del software 2015/16 @Unimi
  • Lab Sistemi Operativi @ UniBG aa 2015/16
  • Progettazione del Software 2012/13
  • Progettazione del Software 2013/14
  • Progettazione del software 2014/15 @Unimi
  • Sicurezza delle Reti 2011/12
  • Sicurezza delle Reti 2012/13

SYNASC 2014

Posted on August 6, 2014 by cronospazioarte

The paper: “CTL Model Cheking in the Cloud Using MapReduce” has been accepted for presentation at SYNASC 2014 conference. http://synasc.ro/2014/

 

Share this:

  • Twitter
  • Facebook

Like this:

Like Loading...

Related

Bookmark the permalink.

Post navigation

← ICSE 2014
Research @Unibg →

Follow me on Twitter

My Tweets

Recent Posts

  • ISSRE 2015
  • Research @Unibg
  • SYNASC 2014
  • ICSE 2014
  • Sicurezza dei Sistemi e delle Reti 2013/14

Archives

  • August 2015
  • October 2014
  • August 2014
  • February 2014
  • October 2013
  • September 2013
Blog at WordPress.com.
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy
  • Follow Following
    • Matteo Camilli
    • Already have a WordPress.com account? Log in now.
    • Matteo Camilli
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Copy shortlink
    • Report this content
    • View post in Reader
    • Manage subscriptions
    • Collapse this bar
%d bloggers like this: