The Education/PeC web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC Copyright 2020 by contributing authors 2020-10-29T15:24:36Z http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/WebStatistics 2020-10-29T15:24:36Z

Statistics for Education/PeC Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... (last changed by TWikiGuest)

TWikiGuest http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/IeC1415 2016-09-26T21:37:39Z

Interacção e Concorrência Edição 2014 15 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/IeC1314 2015-02-18T01:22:52Z

Interacção e Concorrência Edição 2013 14 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC1213 2015-02-18T01:12:11Z

Processos e Concorrência Edição 2012 13 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/WebSideBar 2015-02-18T00:33:11Z

Edições 2014 15 2013 14 2012 13 2011 12 2010 11 2009 10 PeC0708 2007 08 (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/IeC1213 2014-09-19T23:23:31Z

Interacção e Concorrência Edição 2013 14 Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC1112 2012-09-15T20:51:58Z

Processos e Concorrência Edição 2011 12 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC1011 2011-07-27T00:11:52Z

Processos e Concorrência Edição 2010 11 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC0910 2011-03-13T02:08:25Z

Processos e Concorrência Edição 2009 10 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Avisos0910 2010-06-25T00:52:08Z

20 Fev As aulas iniciam se no dia 22 de fevereiro. 20 Fev Os sumários podem ser encontrados no calendário. 22 Abr Ao contrário do que havia sido anunciado, ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/WebHome 2010-03-19T11:13:03Z

O curso tem por objectivo o estudo de técnicas de especificação, modelação, análise e verificação de sistemas reactivos , com ênfase na sua composição concorrente ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC0708 2010-02-21T20:01:06Z

Processos e Concorrência Edição 2007 08 Índice Apresentação Esta disciplina tem por objectivo introduzir técnicas de modelação e análise de sistemas concorrentes ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Calendario 2010-02-21T18:05:11Z

(last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Projectos 2010-02-21T17:12:17Z

Pipe2smv Conversor de ficheiros do Pipe para o formato do SMV. Todos os lugares devem ter capacidade limitada, ou então usar a opção c para definir a capacidade m ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Avisos 2008-07-24T17:41:04Z

24 Julho As notas da época de recurso estão disponíveis aqui. 30 Junho As notas finais estão disponíveis aqui. 29 Junho As notas do teste do módulo II estão dispon ... (last changed by AlcinoCunha)

AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/MaterialApoio 2008-06-13T14:07:26Z

Redes de Petri Lógica Temporal Bibliografia Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications . Claude Girault and Rüdiger ... (last changed by LuisSoaresBarbosa)

LuisSoaresBarbosa