WebStatistics | 30 Oct 2020 - 14:39 - r2222 | TWikiGuest |
Statistics for Education/PeC Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... |
IeC1415 | 26 Sep 2016 - 21:37 - r17 | LuisSoaresBarbosa |
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 ... |
IeC1314 | 18 Feb 2015 - 01:22 - r2 | LuisSoaresBarbosa |
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 ... |
PeC1213 | 18 Feb 2015 - 01:12 - r19 | LuisSoaresBarbosa |
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 ... |
WebSideBar | 18 Feb 2015 - 00:33 - r15 | LuisSoaresBarbosa |
Edições 2014 15 2013 14 2012 13 2011 12 2010 11 2009 10 PeC0708 2007 08 |
IeC1213 | 19 Sep 2014 - 23:23 - r14 | LuisSoaresBarbosa |
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 ... |
PeC1112 | 15 Sep 2012 - 20:51 - r11 | LuisSoaresBarbosa |
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 ... |
PeC1011 | 27 Jul 2011 - 00:11 - r10 | LuisSoaresBarbosa |
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 ... |
PeC0910 | 13 Mar 2011 - 02:08 - r22 | LuisSoaresBarbosa |
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 ... |
Avisos0910 | 25 Jun 2010 - 00:52 - r6 | LuisSoaresBarbosa |
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, ... |
WebHome | 19 Mar 2010 - 11:13 - r15 | LuisSoaresBarbosa |
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 ... |
PeC0708 | 21 Feb 2010 - 20:01 - r2 | LuisSoaresBarbosa |
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 ... |
Calendario | 21 Feb 2010 - 18:05 - r15 | LuisSoaresBarbosa |
Projectos | 21 Feb 2010 - 17:12 - r3 | LuisSoaresBarbosa |
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 ... |
Avisos | 24 Jul 2008 - 17:41 - r21 | AlcinoCunha |
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 ... |
MaterialApoio | 13 Jun 2008 - 14:07 - r26 | LuisSoaresBarbosa |
Redes de Petri Lógica Temporal Bibliografia Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications . Claude Girault and Rüdiger ... |
Funcionamento | 02 Jun 2008 - 13:42 - r10 | AlcinoCunha |
Equipa docente Alcino Cunha: Redes de Petri Lógica Temporal. Soares Barbosa: Álgebra de Processos. Avaliação Cada aluno deve escolher um dos seguintes ... |
AvisosArquivo | 19 Feb 2008 - 14:57 - r2 | AlcinoCunha |
WebTopicActions | 18 May 2007 - 08:03 - r2 | AlcinoCunha |
Programa | 07 Mar 2007 - 14:19 - r4 | AlcinoCunha |
Redes de Petri Modelação de sistemas concorrentes com redes de Petri. Semântica operacional baseada em sistemas de transição de estados. Propriedades ... |
WebCss | 16 Feb 2007 - 14:32 - r3 | AlcinoCunha |
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ... |
WebPreferences | 15 Feb 2007 - 20:30 - r15 | AlcinoCunha |
Education/PeC Web Preferences The following settings are web preferences of the Education/PeC web. These preferences overwrite the site level preferences in ... |
WebTopBar | 13 Feb 2007 - 14:43 - NEW | AlcinoCunha |
ViewSkinAlcinoTemplate | 13 Feb 2007 - 11:17 - NEW | AlcinoCunha |
WebLeftBar | 13 Feb 2007 - 10:35 - r5 | AlcinoCunha |
Apresentação Sumários Projectos Material |
WebTopicList | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebIndex | 15 Nov 2006 - 19:43 - r4 | TWikiContributor |
WebSearch | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebSearchAdvanced | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebTopicCreator | 15 Nov 2006 - 19:43 - r2 | TWikiContributor |
WebChanges | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
WebAtom | 24 Jan 2006 - 06:07 - r2 | TWikiContributor |
TWiki's Education/PeC web |
WebNotify | 28 Mar 2005 - 09:40 - r5 | TWikiContributor |
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration |
WebRss | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
" else "TWiki's Education/PeC web"}% /Education/PeC |