Petri nets for manufacturing modeling
DOC2
slides
Akka 2.0 Reloaded
Toward Automatic Generation of Models with Probes from the SDL System Specification
The Quest for Correctness Joseph Sifakis VERIMAG Laboratory 2nd Sogeti Testing Academy April 29th 2009.
Inaldo Costa 1 Agentes de Software Agentes e Sistemas Multiagentes Baseado no livro An Introduction to MultiAgent Systems Michael Wooldridge, John Wiley.
Types and Programming Languages Lecture 1 Simon Gay Department of Computing Science University of Glasgow 2006/07.
Modeling Software Systems Lecture 2 Book: Chapter 4.
Chapter 15 Dependability and Security Assurance Lecture 1 1Chapter 15 Dependability and Security Assurance.
Fast and Lock-Free Concurrent Priority Queues for Multi-Thread Systems Håkan Sundell Philippas Tsigas.
Z34Bio: A Framework for Analyzing Biological Computation Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, and Hillel Kugler SMT 2013, Helsinki.